Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
The Definition of Standard ML
Conversation Support for Business Process Integration
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Using Colored Petri Nets for Conversation Modeling
Issues in Agent Communication
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow
SAINT '06 Proceedings of the International Symposium on Applications on Internet
Model-Based Analysis of Obligations in Web Service Choreography
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Formalizing Web Service Choreography Interface
AINAW '07 Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02
IEEE Internet Computing
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
A timed colored Petri nets modeling for dynamic workflow in product development process
Computers in Industry
The Validation and Verification of WSCDL
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
Data-Enriched Modeling and Verification of WS-CDL Based on UML Models
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
A Decentralized Model-Based Diagnosis for BPEL Services
ICTAI '09 Proceedings of the 2009 21st IEEE International Conference on Tools with Artificial Intelligence
Modeling business contexture and behavior using business artifacts
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Hi-index | 0.00 |
Enacting cross-organizational business processes requires critical support for long-running and complex interactions involving multiple participants. The Web Services Choreography Description Language (WS-CDL) aims at facilitating just that, by providing means to describe correlated message exchanges among services geared towards achieving a business goal. While WSCDL specifications are machine-readable documents, they do not necessarily allow developers to determine--by direct inspection--whetheror not the patterns of message exchanges they stipulate do indeed describethe intended service behavior. In this research paper, we show how Colored Petri Nets (CPN) can be used to analyze WS-CDL documents in order to identify faults in the specification. We have developed a research prototype that assists in the creation of a CPN model from a given WS-CDL document. The CPN model generated is then analyzed using the formal verification environment and simulation capability provided by CPN-Tools. We provide a discussion on the analysis of an example WS-CDL document using this approach, as well as on the advantages and limitations of using CPN for analyzing WS-CDL specifications.