Modeling service compatibility with Pi-calculus for choreography

Shuiguang Deng, Zhaohui Wu, Mengchu Zhou, Ying Li, Jian Wu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

29 Scopus citations


Service choreography has become an emerging and promising technology to design and build complex cross-enterprise business applications. Dynamic composition of services on the fly requires mechanisms for ensuring that the component services in the composition are compatible with each other. Current service composition languages provide notations for describing the interactions among component services. However, they focus only on the compatibility at the syntax and semantic level in an informal way, yet ignoring the dynamic behavior within services. This paper emphasizes the importance of the behavior in the compatibility verification between services and utilizes the -calculus to model the service behavior and the interaction in a formal way. Based on the formalization, it proposes a method based on the operational semantics of the -calculus to automate the verification of compatibility between two services and presents an algorithm to measure the compatibility degree quantitatively.

Original languageEnglish (US)
Title of host publicationConceptual Modeling - ER 2006 - 25th International Conference on Conceptual Modeling, Proceedings
PublisherSpringer Verlag
Number of pages14
ISBN (Print)354047224X, 9783540472247
StatePublished - 2006
Event25th International Conference on Conceptual Modeling - ER 2006 - Tucson, AZ, United States
Duration: Nov 6 2006Nov 9 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4215 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other25th International Conference on Conceptual Modeling - ER 2006
Country/TerritoryUnited States
CityTucson, AZ

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Modeling service compatibility with Pi-calculus for choreography'. Together they form a unique fingerprint.

Cite this