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. © 2009 Springer.
Cite
CITATION STYLE
Puhlmann, F., & Weske, M. (2009). A look around the corner: The pi-calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5460 LNCS, pp. 64–78). https://doi.org/10.1007/978-3-642-00899-3_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
