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

  • Authors:

  • Li Kuang;Ying Li;Shuiguang Deng;Jian Wu;Wei Shi;Zhaohui Wu

  • Affiliations:

  • Zhejiang University, China;Zhejiang University, China;Zhejiang University, China;Zhejiang University, China;Zhejiang University, China;Zhejiang University, China

  • Venue:
  • WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 冒-calculus for service matchmaking. The resulting 冒-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 冒-calculus. Expressing service behavior using 冒-calculus is expected to be a promising way to realize intelligent service discovery.