Web Service Automatic Composition Model Based on Colored Petri Nets

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. A model based colored Petri net (CPN) to provide semantic support for web service composition is proposed. The basic composite constructs in the model are sequence, concurrent, choice and loop. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Finally modeling composite processes of Web services based on CPN is applied to a case of naval vessel command and control system.

[1]  Qian Zhu.  Automatic Composition of Petri Net Based Web Services , 2006 .

[2]  Ismailcem Budak Arpinar,et al.  Ontology-driven Web services composition platform , 2004, Proceedings. IEEE International Conference on e-Commerce Technology, 2004. CEC 2004..

[3]  A. Bucchiarone,et al.  A Survey on Services Composition Languages and Models , 2006 .

[4]  Chuang Lin,et al.  Approximate Performance Analysis of Web Services Flow Using Stochastic Petri Net , 2004, GCC.

[5]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[6]  Miroslaw Malek,et al.  Current solutions for Web service composition , 2004, IEEE Internet Computing.

[7]  Schahram Dustdar,et al.  A survey on web services composition , 2005, Int. J. Web Grid Serv..

[8]  Guo Yu.  A CP-Net Model and Operation Properties for Web Service Composition , 2006 .

[9]  Fan Hong,et al.  A colored Petri net-based model for web service composition , 2008 .

[10]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[11]  Thomi Pilioura,et al.  An Overview of Standards and Related Technology in Web Services , 2002, Distributed and Parallel Databases.

[12]  Xiuli Yang,et al.  Modeling and Verification of Web Services Composition based on CPN , 2007, 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007).

[13]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[14]  J.P. Thomas,et al.  Modeling of Web services flow , 2003, EEE International Conference on E-Commerce, 2003. CEC 2003..

[15]  Andrzej Cichocki,et al.  Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes , 2000, CAiSE.