Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Compatibility of e -Services in a Cooperative Multi-platform Environment
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Transformation BPEL to CP-Nets for Verifying Web Services Composition
NWESP '05 Proceedings of the International Conference on Next Generation Web Services Practices
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
| Hi-index | 0.00 |
Current Web services composition proposals, such as BPEL, BPSS or WSCI, provide notations for describing the control and message flows in service collaborations. However, they remain at the descriptive level, without providing any kind of mechanisms or tool support for verifying the composition specified in them. In this paper, we present an approach based on CP-net formalism to analyze and verify Web services composition. We provide translation scheme from composition language into CP-nets and the techniques to analyze and verify effectively the CP-nets to investigate several behavioral properties. Our approach is essentially independent of the language describing composition. As an example, to show the effectiveness of our technique, in this paper, we present the transformation of WSCI to CP-nets, which can be analyzed, verified and simulated as prototypes of WSCI models by the CP-net tools.