Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Fully Automated Web Services Orchestration in a Resource Retrieval Scenario
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Business Agility and Information Technology Diffusion: IFIP TC8 WG 8.6 International Working Conference, May 8-11, 2005, Atlanta, Georgia, USA (IFIP International ... Federation for Information Processing)
Towards a Formal Foundation for Aggregating Scientific Workflows
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Automatic Service Composition Based on Enhanced Service Dependency Graph
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Scalable Optimized Composition of Web Services with Complexity Analysis
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
On the Optimal Petri Net Representation for Service Composition
ICWS '11 Proceedings of the 2011 IEEE International Conference on Web Services
Automated service composition using heuristic search
BPM'06 Proceedings of the 4th international conference on Business Process Management
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A constrained object model for configuration based workflow composition
BPM'05 Proceedings of the Third international conference on Business Process Management
Hi-index | 0.00 |
Web services describe a standardized way of integrating Web-based applications. In recent days, with the advancement of cloud computing, web services play pivoting roles towards meeting complex business objectives on a large scale. However, engineering dynamic web services is a complex task as they can be added, modified and deleted on the fly and even without any prior notification. Executing a large scale business process using dynamic web services is very challenging. This paper proposes an execution machine, called Web Service Dynamic Execution Machine (WSDE machine), which works in the execution layer of the three layered architecture for web service dynamics [23]. The proposed machine is capable of executing business processes having both deterministic and non-deterministic flows, where the related web services are represented using a graph-based semantic based formal model. The generic nature of the WSDE machine is useful in improving performance, scalability and maintainability of large scale web service based information systems. In this paper, the proposed WSDE machine is also illustrated with a suitable case study.