Automatic Service Composition Verification Based on Pi-Calculus

With the number of services increasing in a rapid speed in the Internet, it becomes a research hotspot to discover target service according to the service requirement. When single service can not satisfy the service requirement, services can be composed to provide complex function. There are already a lot of service composition methods, so it is crucial to provide a method to verify the correctness of composite service. This paper proposes a pi-calculus based automatic method to verify it. Experiment data shows that with the importing of the new verification method, the precision of service discovery process has been improved.

[1]  Gu Xi.  A Pi-calculus Based Formal Model for BPEL4 WS Web Service Composition , 2007 .

[2]  Xueqin Jiang,et al.  Normative Agent Social , 2009, 2009 WRI World Congress on Computer Science and Information Engineering.

[3]  Amit P. Sheth,et al.  Framework for Semantic Web Process Composition , 2003, Int. J. Electron. Commer..

[4]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

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

[6]  Liao Jun.  Describing and Verifying Web Service Using Pi-Calculus , 2005 .

[7]  Zhaohui Wu,et al.  Consideration of Operation Composition in Semantic Service Matchmaking , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).

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

[9]  Jun Hu,et al.  A policy-driven autonomous system to implement Web services , 2005, The Fifth International Conference on Computer and Information Technology (CIT'05).

[10]  Jun Hu,et al.  Policy-Driven Agent Social , 2005, 2005 International Conference on Machine Learning and Cybernetics.

[11]  Quan Z. Sheng,et al.  The Self-Serv Environment for Web Services Composition , 2003, IEEE Internet Comput..

[12]  Yanbin Peng,et al.  An multi-agents system to implement e-business , 2005, IEEE International Conference on Web Services (ICWS'05).

[13]  Jun Hu,et al.  Policy-Driven Agent Social to Implement EBBP , 2005, 2005 International Conference on Machine Learning and Cybernetics.

[14]  Guo Hang,et al.  Consideration of Task Circumstance in Service Matchmaking , 2008, 2008 4th International Conference on Wireless Communications, Networking and Mobile Computing.

[15]  Zhaohui Wu,et al.  Exploring the Flexible Workflow Technology to Automate Service Composition , 2006, ASWC.

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

[17]  Sun Ya-min.  Petri-Net-Based Description and Verification of Web Services Composition Model , 2007 .

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

[19]  Jieqing Ai,et al.  A Model of Service Behavior Based on Petri Nets with Weights , 2009, 2009 WRI World Congress on Software Engineering.

[20]  Krys J. Kochut,et al.  A CP-nets-based design and verification framework for Web services composition , 2004 .