Web Component: A Substrate for Web Service Reuse and Composition
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
A Request Language for Web-Services Based on Planning and Constraint Satisfaction
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
A CP-nets-based Design and Verification Framework for Web Services Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Tool Support for Model-Based Engineering of Web Service Compositions
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Prospective analysis of cooperative provision of industrial services using coloured petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Using scenarios to predict the reliability of concurrent component-based software systems
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Comparing UML 2.0 interactions and MSC-2000
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
BP-Ex: a uniform query engine for business process execution traces
Proceedings of the 13th International Conference on Extending Database Technology
| Hi-index | 0.00 |
Designing web services-based processes (WSP) requires striking the balance between intuitive and easy to understand process representation for the interactive domain user and consolidated formal mathematical specification. An easy to understand process representation facilitates conformance of process correctness where as the formal mathematical specification ensures formal verification of service orchestration for executing the process. Orchestration of services involves overall service design, service selection, and composition of services to achieve the overall goal. In this paper we present a novel approach to service orchestration that combines an effective diagrammatic modeling, an appropriate formal framework and an implementation process for dynamic WSP and complex web service composition and verification. Specifically we introduce a new approach for WSP design and verification comprising of service orchestration using High Level Message Sequence Charts (HMSC) and Colored Petri Nets (CP Nets) that provides a methodology for analysis and verification at a process level as well as the service level.