Interactive Web service composition based on Petri net

One of the most promising advantages of Web service technology is the possibility of creating value-added services by combining existing ones. For interactive services, sending and receiving an arbitrary number of messages may occur during a service process. It is important that the service composition is not only based on input/output interface, but also related to process behaviour. This paper deals with the problem of interactive Web service composition, ie, for a complex interactive composition schema, and how to discover and select concrete services to satisfy the requirements of users and service interaction. Firstly, a Web service is modelled as an open Petri net, with messages and inner process description, and the service interaction is achieved via asynchronous composition. Then, according to abstract composite service, concrete services are discovered by some rules. These rules include interface consistency, structural-characteristic preservation, which assures the correct interaction between s...

[1]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[2]  Andreas Wombacher,et al.  Evaluation of Workflow Similarity Measures in Service Discovery , 2006, Service Oriented Electronic Commerce.

[3]  Erich J. Neuhold,et al.  Matchmaking for business processes based on choreographies , 2004, IEEE International Conference on e-Technology, e-Commerce and e-Service, 2004. EEE '04. 2004.

[4]  José M. Vidal,et al.  Matchmaking of web services based on the DAML-S service model , 2003, AAMAS '03.

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

[6]  Wil M. P. van der Aalst,et al.  Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? , 2003, Inf. Technol. Manag..

[7]  Ahmed K. Elmagarmid,et al.  Composing Web services on the Semantic Web , 2003, The VLDB Journal.

[8]  Anne H. H. Ngu,et al.  QoS-aware middleware for Web services composition , 2004, IEEE Transactions on Software Engineering.

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

[10]  Tadao Murata,et al.  An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis , 1996, IEEE Trans. Parallel Distributed Syst..

[11]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[12]  Akhil Kumar,et al.  Beyond Discrete E-Services: Composing Session-Oriented Services in Telecommunications , 2001, TES.

[13]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[14]  Xiang Fu,et al.  Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.

[15]  Erich J. Neuhold,et al.  Matchmaking for Business Processes Based on Choreographies , 2004, Int. J. Web Serv. Res..

[16]  Danilo Ardagna,et al.  Adaptive Service Composition in Flexible Processes , 2007, IEEE Transactions on Software Engineering.

[17]  MengChu Zhou,et al.  Modeling Service Compatibility with Pi-calculus for Choreography , 2006, ER.

[18]  Reiko Heckel,et al.  Compositional Modeling of Reactive Systems Using Open Nets , 2001, CONCUR.

[19]  Farhad Mavaddat,et al.  A graph-based approach to Web services composition , 2005, The 2005 Symposium on Applications and the Internet.

[20]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

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

[22]  Antonio Brogi,et al.  Behaviour-Aware Discovery of Web Service Compositions , 2007, Int. J. Web Serv. Res..