Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management

Over the last decade there has been a shift from “data-aware” information systems to “process-aware” information systems. To support business processes an enterprise information system needs to be aware of these processes and their organizational context. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of such operational business processes. BPM can be considered as an extension of classical Workflow Management (WFM) systems and approaches. This tutorial introduces models, systems, and standards for the design, analysis, and enactment of workflow processes. Petri nets are used for the modeling and analysis of workflows. Using Petri nets as a formal basis, contemporary systems, languages, and standards for BPM and WFM are discussed. Although it is clear that Petri nets can serve as a solid foundation for BPM/WFM technology, in reality systems, languages, and standards are developed in an ad-hoc fashion. To illustrate this XPDL, the “Lingua Franca” proposed by the Workflow Management Coalition (WfMC), is analyzed using a set of 20 basic workflow patterns. This analysis exposes some of the typical semantic problems restricting the application of BPM/WFM technology.

[1]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[2]  Clarence A. Ellis,et al.  Workflow: The Process Spectrum , 1996 .

[3]  Kurt Jensen,et al.  Application and Theory of Petri Nets 1992 , 1992, Lecture Notes in Computer Science.

[4]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[5]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[6]  ShethAmit,et al.  An overview of workflow management , 1995 .

[7]  Juliane Dehnert.  A methodology for workflow modeling , 2003 .

[8]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[9]  Shamkant B. Navathe,et al.  Information and Process Integration in Enterprises: Rethinking Documents , 1998 .

[10]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[11]  Juliane Dehnert.  A methodology for workflow modeling: from business process modeling towards sound workflow specification , 2003 .

[12]  Michael D. Zisman,et al.  Representation, specification and automation of office procedures , 1977 .

[13]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[14]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[15]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[16]  Kamel Barkaoui,et al.  On Liveness in Extended non Self-Controlling Nets , 1995, Application and Theory of Petri Nets.

[17]  Frank Leymann.  Web Services and Their Composition , 2001, EWSPT.

[18]  Wil M. P. van der Aalst,et al.  Diagnosing Workflow Processes using Woflan , 2001, Comput. J..

[19]  W.M.P. van der Aalst,et al.  Don't go with the flow: web services composition standards exposed , 2003 .

[20]  Wil M. P. van der Aalst,et al.  Fundamentals of control flow in workflows , 2003, Acta Informatica.

[21]  Marlon Dumas,et al.  UML Activity Diagrams as a Workflow Specification Language , 2001, UML.

[22]  Steffen Staab,et al.  Neurons, Viscose Fluids, Freshwater Polyp Hydra-and Self-Organizing Information Systems , 2003, IEEE Intell. Syst..

[23]  Wil M. P. van der Aalst,et al.  Applications and Theory of Petri Nets 2003 , 2003, Lecture Notes in Computer Science.

[24]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[25]  Grzegorz Rozenberg.  Advances in Petri Nets 1990 , 1989, Lecture Notes in Computer Science.

[26]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[27]  Lars G Fischer.  Workflow Handbook 2002, Workflow Management Coalition , 2002 .

[28]  Wil M. P. van der Aalst,et al.  Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. , 2002 .

[29]  Ekkart Kindler,et al.  On the semantics of EPCs: A vicious circle , 2002, EPK.

[30]  Maria E. Orlowska,et al.  Analyzing Process Models Using Graph Reduction Techniques , 2000, Inf. Syst..

[31]  Wil M. P. van der Aalst,et al.  Analysis of Web Services Composition Languages: The Case of BPEL4WS , 2003, ER.

[32]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

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

[34]  Jörg Desel,et al.  A Proof of the Rank Theorem for Extended Free Choice Nets , 1992, Application and Theory of Petri Nets.

[35]  Kees M. van Hee,et al.  Component-based software architectures: a framework based on inheritance of behavior , 2002, Sci. Comput. Program..

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

[37]  Wolfgang Reisig,et al.  Inter-operability of Workflow Applications: Local Criteria for Global Soundness , 2000, Business Process Management.

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

[39]  Amit P. Sheth,et al.  An overview of workflow management: From process modeling to workflow automation infrastructure , 1995, Distributed and Parallel Databases.

[40]  Christoph Bussler,et al.  Workflow Management: Modeling Concepts, Architecture and Implementation , 1996 .

[41]  R. A. van der Toorn,et al.  Component-based software design with Petri nets : an approach based on inheritance of behavior , 2004 .

[42]  Marlon Dumas,et al.  Pattern Based Analysis of BPML (and WSCI) , 2002 .

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

[44]  Marlon Dumas,et al.  Pattern Based Analysis of BPEL4WS , 2002 .

[45]  Kees M. van Hee,et al.  Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach , 2003, ICATPN.

[46]  Dragos Manolescu,et al.  Production workflow: concepts and techniques , 2001, SOEN.

[47]  Ekkart Kindler,et al.  Liveness, Fairness, and Recurrence in Petri Nets , 1999, Inf. Process. Lett..

[48]  Wil M. P. van der Aalst,et al.  Beyond workflow management: product-driven case handling , 2001, GROUP.

[49]  Wil M. P. van der Aalst,et al.  Making Work Flow: On the Application of Petri Nets to Business Process Management , 2002, ICATPN.

[50]  Axel Martens.  On Compatibility of Web Services , 2003 .

[51]  Steffen Staab,et al.  Web Services: Been There, Done That? , 2003, IEEE Intell. Syst..

[52]  Tok Wang Ling,et al.  Conceptual Modeling - ER 2003 , 2003, Lecture Notes in Computer Science.

[53]  S. Krishnan,et al.  2 XLANG : Web Services for Business Process Design , 2002 .

[54]  Gianfranco Balbo,et al.  Application and Theory of Petri Nets 1997 , 1997 .

[55]  Dan C. Marinescu.  Internet Based Workflow Management: Towards a Semantic Web , 2002 .

[56]  Bartosz Kiepusewski,et al.  Expressiveness and suitability of languages for control flow modelling in workflows , 2003 .

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

[58]  David G. Stork,et al.  Query Nets: Interacting Workflow Modules That Ensure Global Termination , 2003, Business Process Management.

[59]  Steffen Staab,et al.  Web Services: Been There, Done That? (Trends and Controversies) , 2003 .

[60]  Giorgio De Michelis,et al.  Application and Theory of Petri Nets 1995 , 1995 .

[61]  Rik Eshuis,et al.  Reactive Petri Nets for Workflow Modeling , 2003, ICATPN.

[62]  Manuel Silva Suárez,et al.  Circuits, handles, bridges and nets , 1991, Applications and Theory of Petri Nets.

[63]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[64]  Javier Esparza,et al.  Application and Theory of Petri Nets 2002 , 2002, Lecture Notes in Computer Science.

[65]  Jens Palsberg,et al.  Complexity Results for 1-Safe Nets , 1993, Theor. Comput. Sci..

[66]  Kurt Jensen.  Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.

[67]  M. Z. Muehlen,et al.  Workflow Management Coalition , 2000 .

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

[69]  Grzegorz Rozenberg,et al.  Advances in Petri Nets 1985 , 1985, Lecture Notes in Computer Science.

[70]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[71]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.

[72]  Anatol W. Holt.  Coordination technology and Petri nets , 1985, Applications and Theory in Petri Nets.

[73]  Javier Esparza.  Synthesis Rules for Petri Nets, and How they Lead to New Results , 1990, CONCUR.

[74]  Wil M. P. van der Aalst,et al.  Business Process Management, Models, Techniques, and Empirical Studies , 2000 .