A Look Around the Corner: The Pi-Calculus

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

Abstract

While Petri nets play a leading role as a formal foundation for business process management (BPM), other formalizations have been explored as well. This chapter introduces the π-calculus as a formal foundation for BPM. The approach presented is pattern-centric, thus allowing for direct comparisons between the π-calculus and different formalizations. In particular, selected basic and advanced control flow patterns as well as service interaction patterns are discussed. The chapter furthermore introduces the application of bisimulation techniques for proving soundness properties of business processes.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., 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.
    van der Aalst, W., van Hee, K.: Workflow Management. MIT Press, Cambridge (2002)Google Scholar
  4. 4.
    Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1990)CrossRefMATHGoogle Scholar
  5. 5.
    Barros, A., 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
  6. 6.
    Basten, T.: In: Terms of Nets: System Design with Petri Nets and Process Algebra. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands (1998)Google Scholar
  7. 7.
    Burbeck, S.: The Tao of E-Business Services (2000)Google Scholar
  8. 8.
    Curtis, B., Kellner, M.I., Over, J.: Process Modeling. Communications of the ACM 35(9), 75–90 (1992)CrossRefGoogle Scholar
  9. 9.
    Decker, G., Puhlmann, F.: Extending BPMN for Modeling Complex Choreographies. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 24–40. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM 21(8), 666–677 (1978)CrossRefMATHGoogle Scholar
  11. 11.
    Jensen, K.: Coloured Petri Nets, 2nd edn. Springer, Berlin (1997)CrossRefMATHGoogle Scholar
  12. 12.
    Milner, R.: A Calculus of Communicating Systems. In: Jones, N.D. (ed.) Semantics-Directed Compiler Generation. LNCS, vol. 94. Springer, Heidelberg (1980)Google Scholar
  13. 13.
    Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Part I/II. Information and Computation 100, 1–77 (1992)MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Nestmann, U.: Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 52–63. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  15. 15.
    Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Institut für Instrumentelle Mathematik, Bonn (1962)Google Scholar
  16. 16.
    Puhlmann, F.: On the Application of a Theory for Mobile Systems to Business Process Management. Doctoral thesis, University of Potsdam, Potsdam, Germany (July 2007)Google Scholar
  17. 17.
    Puhlmann, F.: Soundness Verification of Business Processes Specified in the Pi-Calculus. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I, vol. 4803, pp. 6–23. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  18. 18.
    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
  19. 19.
    Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow Data Patterns. QUT Technical Report FIT-TR-2004-01, Queensland University of Technology, Brisbane (2004)Google Scholar
  20. 20.
    Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow Resource Patterns. BETA Working Paper Series WP 127, Eindhoven University of Technology, Eindhoven (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Frank Puhlmann
    • 1
  • Mathias Weske
    • 1
  1. 1.Business Process Technology GroupHasso Plattner Institute at the University of PotsdamPotsdamGermany

Personalised recommendations