Foundations of Process-Aware Information Systems

Over the past decade, the ubiquity of business processes and their need for ongoing management in the same manner as other corporate assets has been recognized through the establishment of a dedicated research area: Business Process Management (or BPM). There are a wide range of potential software technologies on which a BPM o®ering can be founded. Although there is signi¯cant variation between these alternatives, they all share one common factor { their execution occurs on the basis of a business process model { and consequently, this ¯eld of technologies can be termed Process-Aware Information Systems (or PAIS). This thesis develops a conceptual foundation for PAIS based on the results of a detailed examination of contemporary o®erings including work°ow and case han- dling systems, business process modelling languages and web service composition languages. This foundation is based on 126 patterns that identify recurrent core constructs in the control-°ow, data and resource perspectives of PAIS. These patterns have been used to evaluate some of the leading systems and business process modelling languages. It also proposes a generic graphical language for de¯ning exception handling strategies that span these perspectives. On the basis of these insights, a comprehensive reference language { newYAWL { is developed for business process modelling and enactment. This language is formally de¯ned and an abstract syntax and operational semantics are provided for it. An assessment of its capabilities is provided through a comprehensive patterns-based analysis which allows direct comparison of its functionality with other PAIS. newYAWL serves as a reference language and many of the ideas embodied within it are also applicable to existing languages and systems. The ultimate goal of both the patterns and newYAWL is to improve the support and applicability of PAIS.

[1]  Lei Yu,et al.  A Comparison of Workflow Metamodels , 1997 .

[2]  Wil M. P. van der Aalst,et al.  Translating BPMN to BPEL , 2006 .

[3]  Christian Stefansen,et al.  SMAWL: A SMAll Workflow Language Based on CCS , 2005, CAiSE Short Paper Proceedings.

[4]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[5]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[6]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[7]  Amit P. Sheth,et al.  Managing heterogeneous multi-system tasks to support enterprise-wide operations , 1995, Distributed and Parallel Databases.

[8]  Johann Eder,et al.  Synchronizing Copies of External Data in Workflow Management Systems , 2005, CAiSE.

[9]  John B. Goodenough,et al.  Exception handling: issues and a proposed notation , 1975, CACM.

[10]  Bill Curtis,et al.  Process modeling , 1992, CACM.

[11]  Alistair Barros,et al.  Advanced workow patterns , 2000 .

[12]  Wil M. P. van der Aalst,et al.  Patterns of Process Modeling , 2005, Process-Aware Information Systems.

[13]  Hongyan Ma,et al.  Process-aware information systems: Bridging people and software through process technology , 2007, J. Assoc. Inf. Sci. Technol..

[14]  Ming-Chien Shan,et al.  Policies in a resource manager of workflow systems: modeling, enforcement and management , 1999, Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337).

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

[16]  Gregor Hohpe,et al.  Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions , 2003 .

[17]  August-Wilhelm Scheer,et al.  ARIS - Business Process Modeling , 1998 .

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

[19]  Remco M. Dijkman,et al.  Formal semantics and automated analysis of BPMN process models , 2007 .

[20]  Paul W. P. J. Grefen,et al.  Cross-Organizational Transaction Support for Virtual Enterprises , 2000, CoopIS.

[21]  Michael zur Muehlen,et al.  Resource Modeling in Workflow Applications , 1999 .

[22]  M. Z. Muehlen.  Evaluation of Workflow Management Systems using Meta Models , 1999, HICSS.

[23]  W. Bruce Croft,et al.  Task support in an office system , 1984, TOIS.

[24]  Fabio Casati,et al.  Specification and implementation of exceptions in workflow management systems , 1999, TODS.

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

[26]  Na Nataliya Mulyar.  Pattern-based evaluation of Oracle-BPEL , 2005 .

[27]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[28]  Gustavo Alonso,et al.  Advanced transaction models in workflow contexts , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[29]  Mathias Weske,et al.  Case handling: a new paradigm for business process support , 2005, Data Knowl. Eng..

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

[31]  Jian Tang,et al.  Consulting past exceptions to facilitate workflow exception handling , 2004, Decis. Support Syst..

[32]  Jeremy Gibbons,et al.  A Process-Algebraic Approach to Workflow Specification and Refinement , 2007, SC@ETAPS.

[33]  Audris Kalnins,et al.  Semantics of UML 2.0 activity diagram for business modeling by means of virtual machine , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).

[34]  van der Wmp Wil Aalst,et al.  newYAWL : achieving comprehensive patterns support in workflow for the control-flow, data and resource perspectives , 2007 .

[35]  M. Z. Muehlen.  Process-driven Management Information Systems-Combining Data Warehouses and Workflow Technology , 2001 .

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

[37]  Alexander Borgida,et al.  Language features for flexible handling of exceptions in information systems , 1985, TODS.

[38]  Wil M. P. van der Aalst,et al.  Adaptive Workflow-On the Interplay between Flexibility and Support , 1999, ICEIS.

[39]  Ekkart Kindler,et al.  On the semantics of EPCs: Resolving the vicious circle , 2006, Data Knowl. Eng..

[40]  Max Jacobson,et al.  A Pattern Language: Towns, Buildings, Construction , 1981 .

[41]  Shengli Wu,et al.  Authorization and Access Control of Application Data in Workflow Systems , 2004, Journal of Intelligent Information Systems.

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

[43]  Peter Dadam,et al.  Correctness criteria for dynamic changes in workflow systems - a survey , 2004, Data Knowl. Eng..

[44]  Gustavo Alonso,et al.  Exception Handling in Workflow Management Systems , 2000, IEEE Trans. Software Eng..

[45]  Alexander Borgida,et al.  Tolerating exceptions in workflows: a unified framework for data and processes , 1999, WACC '99.

[46]  Christoph Bussler,et al.  On Structured Workflow Modelling , 2000, CAiSE.

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

[48]  Thomas H. Davenport,et al.  Process Innovation: Reengineering Work Through Information Technology , 1992 .

[49]  Stefanie Rinderle-Ma,et al.  Change Patterns and Change Support Features in Process-Aware Information Systems , 2007, Seminal Contributions to Information Systems Engineering.

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

[51]  Peter Sommerlad,et al.  Pattern-Oriented Software Architecture Volume 1: A System of Patterns , 1996 .

[52]  Frank Leymann,et al.  Workflow-Based Applications , 1997, IBM Syst. J..

[53]  Gustavo Alonso,et al.  Flexible exception handling in the OPERA process support system , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[54]  Peter Rittgen,et al.  From Process Model to Electronic Business Process , 1999, ECIS.

[55]  Pericles Loucopoulos,et al.  Goal-Driven Business Process Analysis - Application in Electricity Deregulation , 1998, CAiSE.

[56]  Douglas C. Schmidt,et al.  Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects , 2013 .

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

[58]  M. A. Jackson,et al.  Structured Systems Analysis: Tools and Techniques , 1980 .

[59]  Giorgio De Michelis,et al.  Keeping Workflow Models as Simple as Possible , 1994 .

[60]  Wil M. P. van der Aalst,et al.  Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change , 2001, Inf. Syst. Frontiers.

[61]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[62]  Yanxiang He,et al.  MODELLING WORKFLOW PATTERNS BASED ON P/T NETS , 2005 .

[63]  Richard J. Mayer,et al.  The IDEF Family of Languages , 1998 .

[64]  Chris Marshall,et al.  Enterprise modeling with UML , 1999 .

[65]  Özgür Ulusoy,et al.  A Transaction Model for Multidatabase Systems , 1996, Euro-Par, Vol. II.

[66]  Arthur H. M. ter Hofstede,et al.  Task structure semantics through process algebra , 1993, Softw. Eng. J..

[67]  Dirk Riehle,et al.  Understanding and Using Patterns in Software Development , 1996, Theory Pract. Object Syst..

[68]  Christoph Buj.  Policy Resolution for Workflow Management Systems , 1995 .

[69]  Amit P. Sheth,et al.  Exception Handling in Workflow Systems , 2004, Applied Intelligence.

[70]  Thomas J. Schriber.  Fundamentals of flowcharting , 1969 .

[71]  Nikitas-Spiros Koutsoukis,et al.  Enterprise Modeling and Integration: Review and New Directions , 2009 .

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

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

[74]  Paul W. P. J. Grefen,et al.  Customized atomicity specification for transactional workflows , 2000, Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications. CODAS 2001.

[75]  Johann Eder,et al.  A Data Warehouse for Work∞ow Logs , 2002 .

[76]  Amit P. Sheth,et al.  Specification and Execution of Transactional Workflows , 1995, Modern Database Systems.

[77]  Sanjiva Weerawarana,et al.  The Business Process Execution Language for Web Services , 2005, Process-Aware Information Systems.

[78]  John A. Zachman,et al.  A Framework for Information Systems Architecture , 1987, IBM Syst. J..

[79]  Paul W. P. J. Grefen,et al.  A Taxonomy of Transactional Workflow Support , 2006, Int. J. Cooperative Inf. Syst..

[80]  George M. White,et al.  On handling exceptions , 1995, COCS '95.

[81]  Mark S. Fox,et al.  An organizational ontology for enterprise modeling , 1998 .

[82]  Weimin Du,et al.  Enterprise workflow resource management , 1999, Proceedings Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises. RIDE-VE'99.

[83]  Flaviu Cristian,et al.  Exception Handling and Software Fault Tolerance , 1982, IEEE Transactions on Computers.

[84]  Erik Perjons,et al.  Pattern Based Analysis of Eai Languages - The Case of the Business Modeling Language , 2003, ICEIS.

[85]  Mark Klein,et al.  A Knowledge-based Approach to Handling Exceptions in Workflow Systems , 2011, Computer Supported Cooperative Work (CSCW).

[86]  Wil M. P. van der Aalst,et al.  Design and Implementation of the YAWL System , 2004, CAiSE.

[87]  Wil M. P. van der Aalst,et al.  Life After BPEL? , 2005, EPEW/WS-FM.

[88]  Amit P. Sheth,et al.  Transactions in Transactional Workflows , 1997, Advanced Transaction Models and Architectures.

[89]  Ramaswamy Chandramouli,et al.  The Queen's Guard: A Secure Enforcement of Fine-grained Access Control In Distributed Data Analytics Platforms , 2001, ACM Trans. Inf. Syst. Secur..

[90]  Wil M. P. van der Aalst,et al.  Formal semantics and analysis of control flow in WS-BPEL , 2007, Sci. Comput. Program..

[91]  Johann Eder,et al.  Workflow recovery , 1996, Proceedings First IFCIS International Conference on Cooperative Information Systems.

[92]  Akhil Kumar,et al.  Organizational modeling in UML and XML in the context of workflow systems , 2003, SAC '03.

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

[94]  Stephen A. White,et al.  Process Modeling Notations and Workflow Patterns , 2004 .

[95]  B. J. Ferro Castro,et al.  Pattern-Oriented Software Architecture: A System of Patterns , 2009 .

[96]  Michael Rosemann,et al.  Evaluation of Workflow Management Systems - A Meta Model Approach , 1998, Australas. J. Inf. Syst..

[97]  Wil M. P. van der Aalst,et al.  Advanced Workflow Patterns , 2000, CoopIS.

[98]  Leon J. Osterweil,et al.  Modeling and Managing Resource Utilization in Process, Workflow, and Activity Coordination , 2001 .

[99]  W.M.P. van der Aalst,et al.  Towards a reference model for work ditstribution in workflow management systems , 2005 .

[100]  Harald Störrle,et al.  Towards a Formal Semantics of UML 2.0 Activities , 2005, Software Engineering.

[101]  Maria E. Orlowska,et al.  Data Flow and Validation in Workflow Modelling , 2004, ADC.

[102]  Jan Mendling,et al.  Standards for Workflow Definition and Execution , 2005, Process-Aware Information Systems.

[103]  Andreas Reuter,et al.  The ConTract Model , 1991, Database Transaction Models for Advanced Applications.

[104]  Paul W. P. J. Grefen,et al.  Global transaction support for workflow management systems: from formal specification to practical implementation , 2001, The VLDB Journal.

[105]  Mary Lou Soffa,et al.  Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design , 2003, ACM SIGSOFT Softw. Eng. Notes.

[106]  Dennis Tsichritzis,et al.  A data modeling approach for office information systems , 1983, TOIS.

[107]  H. Harrington.  Business process improvement : the breakthrough strategy for total quality, productivity, and competitiveness , 1991 .

[108]  Klaus R. Dittrich,et al.  The active database management system manifesto: a rulebase of ADBMS features , 1995, SGMD.

[109]  Johann Eder,et al.  The Workflow Activity Model WAMO , 1995, CoopIS.

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

[111]  Cecília M. F. Rubira,et al.  A comparative study of exception handling mechanisms for building dependable object-oriented software , 2001, J. Syst. Softw..

[112]  Diane M. Strong,et al.  Exceptions and exception handling in computerized information processes , 1995, TOIS.

[113]  Terry Winograd,et al.  The action workflow approach to workflow management technology , 1992, CSCW '92.

[114]  John V. Harrison.  Active rules in deductive databases , 1993, CIKM '93.

[115]  Mathias Weske,et al.  Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.

[116]  Clarence A. Ellis,et al.  Office Information Systems and Computer Science , 1980, CSUR.

[117]  Martin Fowler,et al.  Analysis patterns - reusable object models , 1996, Addison-Wesley series in object-oriented software engineering.

[118]  Michael Hammer,et al.  A very high level programming language for data processing applications , 1977, Commun. ACM.

[119]  August-Wilhelm Scheer,et al.  ARIS - Business Process Frameworks , 1998 .

[120]  Michael J. Adams,et al.  Facilitating dynamic flexibility and exception handling for workflows , 2007 .

[121]  Stefano Ceri,et al.  Exception handling in workflow-driven Web applications , 2005, WWW '05.

[122]  Fabio Casati,et al.  Improving Business Process Quality through Exception Understanding, Prediction, and Prevention , 2001, VLDB.

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

[124]  Rajeev Rastogi,et al.  ConTracts - A Low-Level Mechanism for Building General-Purpose Workflow Management-Systems. , 1995 .

[125]  van der Wmp Wil Aalst,et al.  Dynamic and extensible exception handling for workflows : a service-oriented implementation , 2007 .

[126]  John F. Sowa,et al.  Extending and Formalizing the Framework for Information Systems Architecture , 1992, IBM Syst. J..

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

[128]  Fabio Casati,et al.  Warehousing Workflow Data: Challenges and Opportunities , 2001, VLDB.

[129]  Marlon Dumas,et al.  Pattern-based analysis of UML activity diagrams , 2004 .

[130]  Wil M. P. van der Aalst,et al.  On the suitability of UML 2.0 activity diagrams for business process modelling , 2006, APCCM.

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

[132]  F. Caeldries.  Reengineering the Corporation: A Manifesto for Business Revolution , 1994 .

[133]  Peter A. Buhr,et al.  Advanced Exception Handling Mechanisms , 2000, IEEE Trans. Software Eng..

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

[135]  David C. Hay,et al.  Data Model Patterns: Conventions of Thought , 1965 .

[136]  Carsten Brennecke.  Practical Workflow for SAP: Effective Business Processes using SAP's WebFlow Engine , 2002 .

[137]  K. T. K. Toh.  The realization of reference enterprise modelling architectures , 1999, Int. J. Comput. Integr. Manuf..

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

[139]  Michael Uschold,et al.  The Enterprise Ontology , 1998, The Knowledge Engineering Review.

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

[141]  Umeshwar Dayal,et al.  Business Process Coordination: State of the Art, Trends, and Open Issues , 2001, VLDB.

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

[143]  Terry Winograd,et al.  Understanding computers and cognition - a new foundation for design , 1987 .

[144]  Dickson K. W. Chiu,et al.  ADOME-WFMS: Towards Cooperative Handling of Workflow Exceptions , 2000, Advances in Exception Handling Techniques.

[145]  Marek Sergot,et al.  Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns , 2007 .

[146]  Terry Halpin,et al.  Information modeling and relational databases: from conceptual analysis to logical design , 2001 .

[147]  Hans-Erik Eriksson,et al.  Business Modeling with UML , 2001 .

[148]  Johann Eder,et al.  A Data Warehouse for Workflow Logs , 2002, EDCIS.

[149]  Robert M. Bruckner,et al.  Real-time workflow audit data integration into data warehouse systems , 2003, ECIS.