Modeling and Verification of Web Services Composition based on CPN
Hui Kang, Yang Xiuli, Sinmiao Yuan · 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007) · 2007
As the capability of an individual Web service is limited, it's necessary to create new functionalities with existing Web services. Web services composition is the ability to create a new value-added service by incorporating some existing Web services together. An important challenge for Web services composition is how to ensure the correctness and reliability of the WS-BPEL (Web services business process execution language) process and the composition. A graphical and formal modeling tool suitable for solving this problem is CPN (Colored Petri net), which provides formal semantics and a number of analysis techniques for modeling and verifying web services composition. This paper proposes a CPN-based model for web services composition, describes how to translate WS-BPEL to CPN model, and discusses the analysis and verification of services composition. The model enables efficient composition of Web services and validates the correctness of composition by formal verification.