Interaction Soundness for Service Orchestrations

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


Traditionally, service orchestrations utilize services according to a choreography where they are a part of. The orchestrations as well as the choreographies describe pre-defined sequences of behavior. This paper investigates if a given orchestration can be enacted without deadlocks, i.e. is interaction sound, inside an environment made up of different services. In contrast to existing approaches, we utilize link passing mobility to directly represent dynamic binding as found in service oriented architectures. Thus, the sequences of interaction behavior are not statically pre-defined but rather depend on the possible behavior of the services in the environment.


Stock Exchange Service Oriented Architecture Transition Sequence Interaction Behavior Dynamic Binding 
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.


  1. 1.
    Burbeck, S.: The Tao of E-Business Services (2000) available at,
  2. 2.
    Aalst, W., ter Hofstede, A.H., Weske, M.: Business Process Management: ASurvey. 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.
    Puhlmann, F., Weske, M.: Investigations on Soundness Regarding Lazy Activities. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 145–160. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    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
  5. 5.
    Puhlmann, F.: Why do we actually need the Pi-Calculus for Business Process Management? In: Abramowicz, W., Mayr, H. (eds.) 9th International Conference on Business Information Systems (BIS 2006), Bonn, Gesellschaft für Informatik. LNI, vol. P-85, pp. 77–89 (2006)Google Scholar
  6. 6.
    Puhlmann, F., Weske, M.: Using the Pi-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
  7. 7.
    Decker, G., Puhlmann, F., Weske, M.: Formalizing Service Interactions. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 414–419. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  8. 8.
    Aalst, W., Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow Patterns. Distributed and Parallel Databases 14, 5–51 (2003)CrossRefGoogle Scholar
  9. 9.
    Aalst, W.: Verification ofWorkflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)Google Scholar
  10. 10.
    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
  11. 11.
    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
  12. 12.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: A Synergic Approach to System Design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228–240. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Barros, A., Dumas, M., ter Hofstede, A.: 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
  14. 14.
    Guidi, C., Lucchi, R.: Mobility mechanisms in Service Oriented Computing. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 233–250. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  15. 15.
    Sangiorgi, D., Walker, D.: The ð-calculus: A Theory of Mobile Processes, Paperback edn. Cambridge University Press, Cambridge (2003)Google Scholar
  16. 16.
    Sangiorgi, D., Sangiorgi, D.: A Theory of Bisimulation for the Pi-Calculus. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 127–142. Springer, Heidelberg (1993)Google Scholar
  17. 17.
    Victor, B., Moller, F., Dam, M., Eriksson, L.H.: The Mobility Workbench (2005) available at,

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

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

Personalised recommendations