Formalizing Service Interactions

  • Gero Decker
  • Frank Puhlmann
  • Mathias Weske
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4102)


Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process management (BPM). In SOA, interaction agreements between business partners are defined as choreographies containing common interaction patterns. However, complex interactions are difficult to specify, basically because a formal, common standard supporting all interaction patterns is missing. This paper motivates the use of the π-calculus for formally representing service interaction patterns.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    IBM: Web Services Architecture Overview (2000),
  2. 2.
    van der Aalst, W.M.P., ter Hofstede, A.H., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1–12. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
    Barros, A., Dumas, M., Oaks, P.: A Critical overview of the Web Services Choreography Description Language (WS-CDL). BPTrends Newsletter 3(3) (2005)Google Scholar
  4. 4.
    Barros, A.P., Dumas, M., ter Hofstede, A.H.M.: Service Interaction Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 302–318. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. In: Proceedings of First International Workshop on Web Services and Formal Methods. Elsevier, Amsterdam (2004)Google Scholar
  6. 6.
    Gorrieri, R., Guidi, C., Lucchi, R.: Reasoning About Interaction Patterns in Choreography. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 333–348. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: A Synergic Approach for System Design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228–240. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    van der Aalst, W.M.P., Weske, M.: The P2P Approach to Interorganizational Workflow. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 140–156. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  10. 10.
    van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow Patterns. Distributed and Parallel Databases 14(3), 5–51 (2003)CrossRefGoogle Scholar
  11. 11.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language (revised version). Technical Report FIT-TR-2003-04, Queensland University of Technology, Brisbane (2003)Google Scholar
  12. 12.
    Puhlmann, F., Weske, M.: Using the π-Calculus for Formalizing Workflow Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 153–168. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Overdick, H., Puhlmann, F., Weske, M.: Towards a Formal Model for Agile Service Discovery and Integration. In: Verma, K., Sheth, A., Zaremba, M., Bussler, C. (eds.) Proceedings of the International Workshop on Dynamic Web Processes (DWP 2005). IBM technical report RC23822, Amsterdam (2005)Google Scholar
  14. 14.
    Sangiorgi, D., Walker, D.: The π-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Gero Decker
    • 1
  • Frank Puhlmann
    • 1
  • Mathias Weske
    • 1
  1. 1.Business Process Technology GroupHasso-Plattner-Institute for IT Systems Engineering, at the University of PotsdamPotsdamGermany

Personalised recommendations