Interorganizational workflows: An approach based on message sequence charts and petri nets

To date, workflow management focuses on improving the effectivity and efficiency of business processes within one organization. However, today’s corporations are challenged to cross organizational boundaries. Phenomena such as electronic commerce, extended enterprises and the Internet stimulate the cooperation between organizations. Therefore, it is interesting to consider workflows distributed over a number of organizations. Interorganizational workflow offers companies the opportunity to re-shape business processes beyond the boundaries of individual organizations. In this paper, we use message sequence charts to specify the interaction between organizations. Petri nets are used to model the workflows inside each organization. Two challenging problems related to interorganizational workflow are tackled in this paper: (1) What are the minimal requirements any interorganizational workflow should satisfy?, and (2) How to decide whether an interorganizational workflow (modeled in terms of Petri nets) is consistent with the interaction structure specified in terms of a message sequence chart?

[1]  Rob J. van Glabbeek,et al.  Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract) , 1989, IFIP Congress.

[2]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[3]  Andrew Whinston,et al.  Frontiers of Electronic Commerce , 1996 .

[4]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[5]  Ekkart Rudolph,et al.  Tutorial on Message Sequence Charts , 1996, Comput. Networks ISDN Syst..

[6]  Michel A. Reniers,et al.  An Algebraic Semantics of Basic Message Sequence Charts , 1994, Comput. J..

[7]  Gérard Berthelot,et al.  Checking properties of nets using transformation , 1985, Applications and Theory in Petri Nets.

[8]  Wil M. P. van der Aalst,et al.  Modeling and Analyzing Interorganizational Workflows , 1998, ACSD.

[9]  Wil M.P. van der Aalst,et al.  Three good reasons for using a Petri-net-based workflow management system , 1996 .

[10]  Gérard Berthelot.  Transformations and Decompositions of Nets , 1986 .

[11]  Manuel Silva Suárez,et al.  Improving the linearly based characterization of P/T nets , 1991, Applications and Theory of Petri Nets.

[12]  Grzegorz Rozenberg,et al.  Dynamic change within workflow systems , 1995, COCS '95.

[13]  W.M.P. van der Aalst,et al.  Structural characterizations of sound workflow nets , 1996 .

[14]  Kees M. van Hee,et al.  Workflow Management: Modellen, Methoden en Systemen (in Dutch) , 1997 .

[15]  Clarence A. Ellis,et al.  Modeling and Enactment of Workflow Systems , 1993, Application and Theory of Petri Nets.

[16]  Michel Hack,et al.  The Equality Problem for Vector Addition Systems is Undecidable , 1976, Theor. Comput. Sci..

[17]  Winfried Lamersdorf,et al.  Interorganizational Workflow Managment with Mobile Agents in COSM , 1996, PAAM.

[18]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.