Business Process Management: A Survey

Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It can be considered as an extension of classical Workflow Management (WFM) systems and approaches. Although the practical relevance of BPM is undisputed, a clear definition of BPM and related acronyms such as BAM, BPA, and STP are missing. Moreover, a clear scientific foundation is missing. In this paper, we try to demystify the acronyms in this domain, describe the state-of-the-art technology, and argue that BPM could benefit from formal methods/languages (cf. Petri nets, process algebras, etc.).

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

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

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

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

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

[6]  Stephen L. Burbeck The Tao of e-Business Services , 2000 .

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

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

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

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

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

[12]  Frank Leymann,et al.  Production Workflow: Concepts and Techniques , 1999 .

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

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

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

[16]  Rik Eshuis,et al.  Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .

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

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

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

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

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

[22]  Gerhard Weikum,et al.  A Formal Foundation for Distributed Workflow Execution Based on State Charts , 1997, ICDT.

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

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

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