Expressing Service and Query Behavior Using \pi-Calculus for Matchmaking

Service discovery becomes a key to accelerating the evolution of Web services as the number of services is expected to increase dramatically. Foregoing work on service discovery is primarily based on the interfaces of services through the use of ontology. Ongoing work targets at service behavior, with not only individual message exchanges being captured, but also constraints between these message exchanges. In this paper, we propose a formal approach to expressing the service and query behavior using pi-calculus for service matchmaking. The resulting pi-calculus expressions of services and queries are precise in defining single operations involving message exchanges as well as execution sequence between operations. Based on the formalizations, service matchmaking between a service query and a service description is reasoned through the capability of pi-calculus. Expressing service behavior using pi-calculus is expected to be a promising way to realize intelligent service discovery

[1]  Jun Zhang,et al.  Simlarity Search for Web Services , 2004, VLDB.

[2]  Joachim Parrow,et al.  An Introduction to the π-Calculus , 2001, Handbook of Process Algebra.

[3]  Jens Lemcke,et al.  Expressing Semantic Web Service Behavior using Description Logics ? , 2006 .

[4]  Amit P. Sheth,et al.  Meteor-s web service annotation framework , 2004, WWW '04.

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

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

[7]  Jianwen Su,et al.  Web service discovery based on behavior signatures , 2005, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1.

[8]  Joachim Parrow,et al.  An introduction to the pi-calculus , 2001 .

[9]  Amit P. Sheth,et al.  Semantic E-Workflow Composition , 2003, Journal of Intelligent Information Systems.

[10]  Mohand-Said Hacid,et al.  Request Rewriting-Based Web Service Discovery , 2003, International Semantic Web Conference.