The Basis and Core Knowledge of Business Process Management

In the era of globalization, there are intense competitions among organizations at an international level. To increase adaptability, efficiency and competitiveness in a global market, enterprises widely recognize that business processes play a pivotal role in their success. The criticality and complexity of operational business processes necessitate the development of methodical approaches for a wide range of practitioners and professionals. In response, theories and methodologies have been developed in the domain of business process management. Business process management (BPM) is the study of the design, analysis, verification, simulation, visualization, metrics and workflow patterns of business processes. BPM is cross-disciplinary by nature that integrates business management with information technology (IT). The main notions, techniques and theoretical foundations of BPM build upon some wellestablished methods and formalisms that often stem from other domains in computer science. These include software engineering, formal methods, temporal logics and design patterns. The aim for this article is to provide an overview of various concepts, approaches and foundational theories pertaining to BPM from the IT perspective. A wide spectrum of topics is covered in order to exhibit the different facets of BPM. Specifically, the emphases are on their positions within the BPM arena and their interrelationships.

[1]  Johann Eder,et al.  Transforming Workflow Graphs , 2006 .

[2]  C. Ou-Yang,et al.  BPMN-based business process model feasibility analysis: a petri net approach , 2008 .

[3]  Wil M. P. van der Aalst,et al.  Constraint-Based Workflow Models: Change Made Easy , 2007, OTM Conferences.

[4]  Vitus S. W. Lam Foundation for equivalences of BPMN models , 2012 .

[5]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

[6]  Wil M. P. van der Aalst,et al.  Quantifying process equivalence based on observed behavior , 2008, Data Knowl. Eng..

[7]  Jeremy Gibbons,et al.  Formalisations and applications of BPMN , 2011, Sci. Comput. Program..

[8]  Vitus S. W. Lam Equivalences of BPMN processes , 2009, Service Oriented Computing and Applications.

[9]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

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

[11]  Jan Vanthienen,et al.  Designing Compliant Business Processes with Obligations and Permissions , 2006, Business Process Management Workshops.

[12]  Jeremy Gibbons,et al.  A Relative Timed Semantics for BPMN , 2009, Electron. Notes Theor. Comput. Sci..

[13]  Vitus S. W. Lam Formal Analysis of BPMN Models: a NuSMV-Based Approach , 2010, Int. J. Softw. Eng. Knowl. Eng..

[14]  Jeremy Gibbons,et al.  A Process Semantics for BPMN , 2008, ICFEM.

[15]  Jan Friso Groote,et al.  Transformation of BPMN Models for Behaviour Analysis , 2007, MSVVEIS.

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

[17]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..