Modeling Service Compatibility with Pi-calculus for Choreography

  • Shuiguang Deng
  • Zhaohui Wu
  • Mengchu Zhou
  • Ying Li
  • Jian Wu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4215)


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.


Service Composition Transition Sequence Parallel Composition Purchase Order Service Behavior 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Benatallah, B., Casati, F., Toumani, F.: Web Service Conversation Modeling: A Corner-stone for E-Business Automation. IEEE Internet Computing 8(1), 46–54 (2004)CrossRefGoogle Scholar
  2. 2.
    Dustdar, S., Schreiner, W.: A survey on web services composition. International Journal of Web and Grid Services 1(1), 1–30 (2005)CrossRefGoogle Scholar
  3. 3.
    BEA Systems, IBM, Microsoft, SAP, Siebel Systems: Business Process Execution Language for Web Services Version 1.1 (2003) Google Scholar
  4. 4.
    W3C. The Web Services Choreography Description Language (WS-CDL) Version 1.0, World Wide Web Consortium (2005), available at:
  5. 5.
    Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)MATHGoogle Scholar
  6. 6.
    Martens, A.: On compatibility of web services. Petri Net Newsletter 65 (2003)Google Scholar
  7. 7.
    Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: 13th International World Wide Web Conference (WWW) (2004)Google Scholar
  8. 8.
    Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E.: Matchmaking for Business Processes based on Choreographies. International Journal of Web Services Research 1(4), 14–32 (2004)CrossRefGoogle Scholar
  9. 9.
    Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: Proc. International Conference on Web Service (ICWS) (2004)Google Scholar
  10. 10.
    Bordeaux, L., Salaun, G., Berardi, D., Mecella, M.: When Are Two Web Services Com-patible? In: Proc. of the 5th VLDB International Workshop on Technologies for e-Services (VLDB-TES) (2004)Google Scholar
  11. 11.
    Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. In: Proc. Of First International Workshop on Web Services and Formal Methods (WS-MF) (2004)Google Scholar
  12. 12.
    Li, Y., Jagadish, H.V.: Compatibility determination in web services. In: Proc. of ICEC eGovernment Services WS (2003)Google Scholar
  13. 13.
    De Antonellis, V., Melchiori, M., Pernici, B., Plebani, P.: A methodology for e-service substitutability in a virtual district environment. In: Proc. of Conference on Advanced Information Systems Engineering (CAiSE) (2003)Google Scholar
  14. 14.
    Overdick, H., Puhlmann, F., Weske, M.: Towards a Formal Model for Agile Service Discovery and Integration. In: Proc. of the Workshop on Dynamic Web Processes (ICSOC-DWP) (2005)Google Scholar
  15. 15.
    Bordeaux, L., Salaün, G.: Using Process Algebra for Web Services: Early Results and Perspectives. In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 54–68. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  16. 16.
    Deng, S., Wu, Z., et al.: Management of Serviceflow in a Flexible Way. In: Zhou, X., Su, S., Papazoglou, M.P., Orlowska, M.E., Jeffery, K. (eds.) WISE 2004. LNCS, vol. 3306, pp. 428–438. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  17. 17.
    Wu, Z., Tang, S., Deng, S.: DartGrid II: A Semantic Grid Platform for ITS. IEEE Intelligent Systems 20(3), 12–15 (2005)CrossRefGoogle Scholar
  18. 18.
    Victor, B., Moller, F.: The Mobility Workbench - A Tool for the pi-Calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818. Springer, Heidelberg (1994)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Shuiguang Deng
    • 1
  • Zhaohui Wu
    • 1
  • Mengchu Zhou
    • 2
  • Ying Li
    • 1
  • Jian Wu
    • 1
  1. 1.College of Computer ScienceZhejiang UniversityHangzhouChina
  2. 2.Department of Electrical and Computer EngineeringNew Jersey Institute of TechnologyNJUSA

Personalised recommendations