Unified Modeling and Analysis based on Petri nets and Pi calculus

Awareness of the need for process orientation in IT support field has been increasing these decades, which made the modeling and analyzing of business process become more and more significant. Among various formal methods, Petri nets were applied in workflow management, mainly because its visible feature based on the rigors graph theory. As another potential candidate, Pi calculus, a branch of process algebra, proved to be more capable in modeling mobility and interaction. But there were no formal methods to integrate these two formal methods, even this work may be of great significance. In this paper, based on the analysis of both Petri nets and Pi calculus, we will introduce a mapping model between those two formal methods, which integrates the workflow model of Petri nets and the interaction model of Pi calculus to describe collaboration business processes.

[1]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..

[2]  Wil M. P. van der Aalst.  Why workflow is NOT just a Pi-process , 2004 .

[3]  Yu Guo,et al.  First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China , 2007, TASE.

[4]  Robin Milner,et al.  Pure bigraphs: Structure and dynamics , 2006, Inf. Comput..

[5]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[6]  Greg Meredith,et al.  Contracts and types , 2003, CACM.

[7]  Jan A. Bergstra,et al.  Process Algebra with Propositional Signals , 1994, Theor. Comput. Sci..

[8]  Robin Milner,et al.  Bigraphs and mobile processes (revised) , 2004 .

[9]  Julian Padget,et al.  A pi-calculus Model of a Spanish Fish Market - Preliminary Report , 1998, AMET.

[10]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[11]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[12]  C. Petri.  Kommunikation mit Automaten , 1962 .

[13]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[14]  Wolfgang Reisig,et al.  Lectures on Petri Nets II: Applications , 1996, Lecture Notes in Computer Science.

[15]  Peter Fingar,et al.  Workflow is just a pi process , 2003 .

[16]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[17]  Wolfgang Reisig,et al.  Lectures on Petri nets : advances in Petri nets , 1998 .

[18]  Robin Milner,et al.  Transitions, link graphs and peti nets , 2004 .

[19]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[20]  Kurt Jensen,et al.  Coloured Petri Nets , 1996, Monographs in Theoretical Computer Science. An EATCS Series.