Cluster-oriented service composition modeling method based on logical net units

A logical net unit (LNU) model is defined according to logical Petri nets (LPNs). The Web service composition takes a service cluster as a minimal granularity for the first time, and a service cluster is formally modeled by an LNU in a virtual layer. The composition of service cluster model LNUs generates Service Nets and the basic composite patterns of LNU models are discussed. And the Service Nets properties are discussed. The efficiency of Web service composition is improved by the proposed method. A Travel service example is proposed to illustrate the modeling method.

[1]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[2]  Sun Ping.  Using Service Clustering to Facilitate Process-Oriented Semantic Web Service Discovery , 2008 .

[3]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[4]  Diego Calvanese,et al.  Automatic Service Composition Based on Behavioral Descriptions , 2005, Int. J. Cooperative Inf. Syst..

[5]  Hui Xiong,et al.  Semantics-Based Automated Service Discovery , 2012, IEEE Transactions on Services Computing.

[6]  Sudha Ram,et al.  A Clustering Based Approach for Facilitating Semantic Web Service Discovery , 2006 .

[7]  Dimitris Sacharidis,et al.  Ranking and Clustering Web Services Using Multicriteria Dominance Relationships , 2010, IEEE Transactions on Services Computing.

[8]  Kees M. van Hee,et al.  Compositional Service Trees , 2009, Petri Nets.

[9]  Changjun Jiang,et al.  Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows , 2002, ICFEM.

[10]  Sanjiva Weerawarana,et al.  Unraveling the Web services web: an introduction to SOAP, WSDL, and UDDI , 2002, IEEE Internet Computing.

[11]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[12]  Munindar P. Singh,et al.  Service-Oriented Computing: Key Concepts and Principles , 2005, IEEE Internet Comput..

[13]  MengChu Zhou,et al.  A vector matching method for analysing logic Petri nets , 2011, Enterp. Inf. Syst..

[14]  Dmytro Zhovtobryukh,et al.  A Petri Net-based Approach for Automated Goal-Driven Web Service Composition , 2007, Simul..

[15]  MengChu Zhou,et al.  A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems , 2009, IEEE Trans. Syst. Man Cybern. Part A.