Colored Petri Net Based Automatic Service Composition

Service composition is an effective method to achieve flexible pervasive application. According to the relationship of messages and behaviors, we define a message oriented activity based Petri net (Moap) model to describe service, which supports concurrent processes and the reuse of composite service. And user's loose requirement is denoted as goal which is composed of expected input, output and key behaviors. Based on Moap, an automatic service composition algorithm autoSC is proposed to automatically create a specification of composite process to achieve goal. Finally, we analyze the effectiveness of autoSC and give a detailed comparison with other methods.

[1]  Richard Hull,et al.  Towards a Unified Model for Web Services Composition , 2005, ASIAN.

[2]  Marco Conti,et al.  Dynamic tuning of the IEEE 802.11 protocol to achieve a theoretical throughput limit , 2000, TNET.

[3]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

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

[5]  Injong Rhee,et al.  Z-MAC: a hybrid MAC for wireless sensor networks , 2005, SenSys '05.

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

[7]  Jianwen Su,et al.  Tools for composite web services: a short overview , 2005, SGMD.

[8]  A. Wolisz,et al.  Distributed maintenance of resource reservation paths in multihop 802.11 networks , 2004, IEEE 60th Vehicular Technology Conference, 2004. VTC2004-Fall. 2004.

[9]  Diego Calvanese,et al.  Automatic Composition of Transition-based Semantic Web Services with Messaging , 2005, VLDB.

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

[11]  Deborah Estrin,et al.  Medium access control with coordinated adaptive sleeping for wireless sensor networks , 2004, IEEE/ACM Transactions on Networking.

[12]  John Domingue,et al.  IRS-III: A Broker for Semantic Web Services Based Applications , 2006, International Semantic Web Conference.

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

[14]  Jerzy Tiuryn,et al.  Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[15]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[16]  Gen-Huey Chen,et al.  An energy consumption analytic model for a wireless sensor MAC protocol , 2004, IEEE 60th Vehicular Technology Conference, 2004. VTC2004-Fall. 2004.

[17]  Eric. Newcomer,et al.  Understanding SOA with Web Services , 2004 .

[18]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[19]  Wolfgang Reisig,et al.  A Primer in Petri Net Design , 1992, Springer Compass International.

[20]  David E. Culler,et al.  Versatile low power media access for wireless sensor networks , 2004, SenSys '04.

[21]  Ioannis Chatzigiannakis,et al.  Power conservation schemes for energy efficient data propagation in heterogeneous wireless sensor networks , 2005, 38th Annual Simulation Symposium.

[22]  Zhuzhong Qian,et al.  Mobile-Agent-Based Web Service Composition , 2005, GCC.