Business Process Compliance

In the previous chapters, the proper executability of a prespecified process model has been based on syntactical constraints, correctness of its data flow schema, and behavioral soundness. However, business processes are also subject to semantic constraints that stem from regulations, laws, and guidelines—also known as compliance rules. Process-aware information systems have to ensure that respective compliance rules are obeyed in order to guarantee semantically correct and error-free execution as well as changes of their business processes. This chapter discusses how such compliance rules can be defined and how they can be ensured in the different phases of the process life cycle.

[1]  Jan Mendling,et al.  Structuredness and its significance for correctness of process models , 2010, Inf. Syst. E Bus. Manag..

[2]  Manfred Reichert,et al.  Robust and Flexible Error Handling in the AristaFlow BPM Suite , 2010, CAiSE Forum.

[3]  Manfred Reichert,et al.  A framework for dynamic changes in workflow management systems , 1997, Database and Expert Systems Applications. 8th International Conference, DEXA '97. Proceedings.

[4]  Peter Dadam,et al.  ADEPT Workflow Management System: , 2003, Business Process Management.

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

[6]  Keith D. Swenson,et al.  Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done , 2010 .

[7]  Andreas Geppert,et al.  Dynamic workflow schema evolution based on workflow type versioning and workflow migration , 1999, Proceedings Fourth IFCIS International Conference on Cooperative Information Systems. CoopIS 99 (Cat. No.PR00384).

[8]  Hector Garcia-Molina,et al.  Modeling long-running activities as nested sagas , 1991 .

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

[10]  Franz Schober,et al.  Information System Flexibility and the Cost Efficiency of Business Processes , 2006, J. Assoc. Inf. Syst..

[11]  Natalia Sidorova,et al.  Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual , 2010, CAiSE.

[12]  Stefanie Rinderle-Ma,et al.  CCBR-Driven Business Process Evolution , 2005, ICCBR.

[13]  Mathias Weske,et al.  Business process model abstraction: a definition, catalog, and survey , 2012, Distributed and Parallel Databases.

[14]  Maria Luisa Villani,et al.  A framework for QoS-aware binding and re-binding of composite web services , 2008, J. Syst. Softw..

[15]  Thomas R. G. Green,et al.  Cognitive dimensions of notations , 1990 .

[16]  Manfred Reichert,et al.  Enabling Adaptive Process-aware Information Systems with ADEPT2 , 2008 .

[17]  Irene Barba,et al.  Supporting the Optimized Execution of Business Processes through Recommendations , 2011, Business Process Management Workshops.

[18]  Alexander Tartakovski,et al.  Agile Workflow Technology and Case-Based Change Reuse for Long-Term Processes , 2008, Int. J. Intell. Inf. Technol..

[19]  Manfred Reichert,et al.  What BPM Technology Can Do for Healthcare Process Support , 2011, AIME.

[20]  Barbara Weber,et al.  Creating Declarative Process Models Using Test Driven Modeling Suite , 2011, CAiSE Forum.

[21]  Stefanie Rinderle-Ma,et al.  On Representing, Purging, and Utilizing Change Logs in Process Management Systems , 2006, Business Process Management.

[22]  Charles T. Davies,et al.  Data Processing Spheres of Control , 1978, IBM Syst. J..

[23]  Jan Mendling,et al.  Preserving correctness during business process model configuration , 2010, Formal Aspects of Computing.

[24]  Manfred Reichert,et al.  Contextual Injection of Quality Measures into Software Engineering Processes , 2011 .

[25]  Patrick Delfmann,et al.  Adaptive Reference Modeling: Integrating Configurative and Generic Adaptation Techniques for Information Models , 2007 .

[26]  Stefanie Rinderle-Ma,et al.  Comprehensive life cycle support for access rules in information systems: the CEOSIS project , 2009, Enterp. Inf. Syst..

[27]  Boudewijn F. van Dongen,et al.  Supporting Flexible Processes through Recommendations Based on History , 2008, BPM.

[28]  Peter Dadam,et al.  Mining Staff Assignment Rules from Event-Based Data , 2005, Business Process Management Workshops.

[29]  Marco Montali,et al.  Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata , 2011, BPM.

[30]  Maria E. Orlowska,et al.  Specification and validation of process constraints for flexible workflows , 2005, Inf. Syst..

[31]  Wil M. P. van der Aalst,et al.  A configurable reference modelling language , 2007, Inf. Syst..

[32]  Wil M. P. van der Aalst,et al.  Configurable Process Models: Experiences from a Municipality Case Study , 2009, CAiSE.

[33]  Michel Léonard,et al.  Management Of Schema Evolution In Databases , 1991, VLDB.

[34]  Vera Künzle,et al.  Object-Aware Business Processes: Fundamental Requirements and their Support in Existing Approaches , 2011, Int. J. Inf. Syst. Model. Des..

[35]  Wil M. P. van der Aalst,et al.  Workflow Exception Patterns , 2006, CAiSE.

[36]  Wil M. P. van der Aalst,et al.  Change Mining in Adaptive Process Management Systems , 2006, OTM Conferences.

[37]  James A. Hendler,et al.  HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..

[38]  Wil M. P. van der Aalst,et al.  Merging Event-Driven Process Chains , 2008, OTM Conferences.

[39]  Amit P. Sheth,et al.  IntelliGEN: A Distributed Workflow System for Discovering Protein-Protein Interactions , 2004, Distributed and Parallel Databases.

[40]  M Maja Pesic,et al.  Constraint-based workflow management systems : shifting control to users , 2008 .

[41]  Niels Lohmann,et al.  Compact Representations and Efficient Algorithms for Operating Guidelines , 2011, Fundam. Informaticae.

[42]  Manfred Reichert,et al.  Unleashing the Effectiveness of Process-Oriented Information Systems: Problem Analysis, Critical Success Factors, and Implications , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[43]  Peter Dadam,et al.  Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems , 2010, CAiSE.

[44]  Peter Dadam,et al.  Flexible Support of Team Processes by Adaptive Workflow Systems , 2004, Distributed and Parallel Databases.

[45]  Marcello La Rosa,et al.  Managing variability in process-aware information systems , 2009 .

[46]  Peter Dadam,et al.  SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems , 2010, CAiSE Forum.

[47]  Manfred Reichert,et al.  Supporting Adaptive Workflows in Advanced Application Environments , 1998 .

[48]  Carlo Ghezzi,et al.  Process Model Evolution in the SPADE Environment , 1993, IEEE Trans. Software Eng..

[49]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[50]  Mathias Weske,et al.  Specification, Verification and Explanation of Violation for Data Aware Compliance Rules , 2009, ICSOC/ServiceWave.

[51]  Remco M. Dijkman,et al.  Measuring Similarity between Business Process Models , 2008, CAiSE.

[52]  Manfred Reichert,et al.  Discovering Reference Models by Mining Process Variants Using a Heuristic Approach , 2009, BPM.

[53]  Marian Petre,et al.  Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework , 1996, J. Vis. Lang. Comput..

[54]  Wil M. P. van der Aalst,et al.  Schedule-Aware Workflow Management Systems , 2010, Trans. Petri Nets Other Model. Concurr..

[55]  Wil M. P. van der Aalst,et al.  Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis , 2010, BPM.

[56]  Peter Dadam,et al.  On Representing Instance Changes in Adaptive Process Management Systems , 2006, 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06).

[57]  van der Wmp Wil Aalst,et al.  Dealing with workflow change: identification of issues and solutions , 2000 .

[58]  Stefanie Rinderle-Ma,et al.  Data-Driven Process Control and Exception Handling in Process Management Systems , 2006, CAiSE.

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

[60]  Barbara Weber,et al.  Toward enhanced life‐cycle support for declarative processes , 2012, J. Softw. Evol. Process..

[61]  Paul Dourish,et al.  Freeflow: mediating between representation and action in workflow systems , 1996, CSCW '96.

[62]  Manfred Reichert,et al.  Case-Base Maintenance for CCBR-Based Process Evolution , 2006, ECCBR.

[63]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[64]  Vera Künzle,et al.  A Modeling Paradigm for Integrating Processes and Data at the Micro Level , 2011, BMMDS/EMMSAD.

[65]  Stefanie Rinderle-Ma,et al.  On Deriving Net Change Information From Change Logs - The DELTALAYER-Algorithm , 2007, BTW.

[66]  Håvard D. Jørgensen,et al.  Interactive Process Models , 2004 .

[67]  P. Weiss,et al.  Support of cooperative work by electronic circulation folders , 1990 .

[68]  Mor Peleg,et al.  A Formal Model for Process Context Learning , 2009, Business Process Management Workshops.

[69]  Iris Reinhartz-Berger,et al.  Organisational reference models: supporting an adequate design of local business processes , 2009, Int. J. Bus. Process. Integr. Manag..

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

[71]  Manfred Reichert,et al.  Intra-Subnet Load Balancing in Distributed Workflow Management Systems , 2003, Int. J. Cooperative Inf. Syst..

[72]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[73]  Marco Montali,et al.  Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach , 2010, Lecture Notes in Business Information Processing.

[74]  Hajo A. Reijers,et al.  Product-based workflow support , 2011, Inf. Syst..

[75]  Maria E. Orlowska,et al.  On Capturing Exceptions in Workflow Process Models , 2000 .

[76]  Dirk Fahland,et al.  Towards Process Models for Disaster Response , 2008, Business Process Management Workshops.

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

[78]  Manfred Reichert,et al.  Workflow management versus case handling: results from a controlled software experiment , 2008, SAC '08.

[79]  Manfred Reichert,et al.  Semantically-Driven Workflow Generation Using Declarative Modeling for Processes in Software Engineering , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops.

[80]  Wil M. P. van der Aalst,et al.  Towards comprehensive support for organizational mining , 2008, Decis. Support Syst..

[81]  Peter Dadam,et al.  On the Common Support of Workflow Type and Instance Changes under Correctness Constraints , 2003, OTM.

[82]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

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

[84]  Volker Gruhn,et al.  The FUNSOFT Net Approach to Software Process Management , 1994, Int. J. Softw. Eng. Knowl. Eng..

[85]  Boudewijn F. van Dongen,et al.  Process Mining and Verification of Properties: An Approach Based on Temporal Logic , 2005, OTM Conferences.

[86]  Maria E. Orlowska,et al.  When workflows will not deliver: The case of contradicting work practice , 2005 .

[87]  Manfred Reichert,et al.  Mining Based on Learning from Process Change Logs , 2008, Business Process Management Workshops.

[88]  Vera Künzle,et al.  Towards Object-aware Process Support in Healthcare Information Systems , 2012, eTELEMED 2012.

[89]  Frank Puhlmann,et al.  Soundness Verification of Business Processes Specified in the Pi-Calculus , 2007, OTM Conferences.

[90]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[91]  E. Rahm,et al.  Dealing with Logical Failures for Collaborating Workflows , 2000, CoopIS.

[92]  Luciano Lavagno,et al.  Deriving Petri Nets for Finite Transition Systems , 1998, IEEE Trans. Computers.

[93]  Mathias Weske,et al.  Flexible modeling and execution of workflow activities , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[94]  Kamal Bhattacharya,et al.  Modeling Business Contexture and Behavior Using Business Artifacts , 2007, CAiSE.

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

[96]  Andreas Wombacher,et al.  Evolution of Process Choreographies in DYCHOR , 2006, OTM Conferences.

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

[98]  Peter Dadam,et al.  Integration and verification of semantic constraints in adaptive process management systems , 2008, Data Knowl. Eng..

[99]  Mathias Weske,et al.  Automated Service Composition Using Heuristic Search , 2006, Business Process Management.

[100]  Manfred Reichert,et al.  The Minadept Clustering Approach for Discovering Reference Process Models Out of Process Variants , 2010, Int. J. Cooperative Inf. Syst..

[101]  Erik P. de Vink,et al.  Time and Data-Aware Analysis of Graphical Service Models in Reo , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

[102]  Manfred Reichert,et al.  Configuration and Management of Process Variants , 2010, BPM 2010.

[103]  Ruth Breu,et al.  CBRFlow: Enabling Adaptive Workflow Management Through Conversational Case-Based Reasoning , 2004, ECCBR.

[104]  Marlon Dumas,et al.  Transforming Object-Oriented Models to Process-Oriented Models , 2007, Business Process Management Workshops.

[105]  Marlon Dumas,et al.  Modeling Business Process Variability for Design-Time Configuration , 2009, Handbook of Research on Business Process Modeling.

[106]  Fei Cao,et al.  Compiling business processes: untangling unstructured loops in irreducible flow graphs , 2006, Int. J. Web Grid Serv..

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

[108]  Manfred Reichert,et al.  A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures , 2008, CAiSE.

[109]  Fabio Casati,et al.  Workflow Evolution , 1996, ER.

[110]  Manfred Reichert,et al.  Clinical Workflows - The Killer Application for Process-oriented Information Systems? , 2000 .

[111]  Gregor Engels,et al.  Detecting and Resolving Process Model Differences in the Absence of a Change Log , 2008, BPM.

[112]  Jan Mendling,et al.  Activity labeling in process modeling: Empirical insights and recommendations , 2010, Inf. Syst..

[113]  Jianwen Su,et al.  A Data-Centric Design Methodology for Business Processes , 2009, Handbook of Research on Business Process Modeling.

[114]  Ralph Bergmann,et al.  Reasoning on Business Processes to Support Change Reuse , 2011, 2011 IEEE 13th Conference on Commerce and Enterprise Computing.

[115]  Leon J. Osterweil,et al.  Exception Handling Patterns for Process Modeling , 2010, IEEE Transactions on Software Engineering.

[116]  Manfred Reichert,et al.  Discovering Reference Process Models by Mining Process Variants , 2008, 2008 IEEE International Conference on Web Services.

[117]  Manfred Reichert,et al.  Semantic Workflow Adaption in Support of Workflow Diversity , 2010 .

[118]  Vera Künzle,et al.  Striving for Object-Aware Process Support: How Existing Approaches Fit Together , 2011, SIMPDA.

[119]  Edsger W. Dijkstra,et al.  Chapter I: Notes on structured programming , 1972 .

[120]  Jan Mendling,et al.  Detection and prediction of errors in EPCs of the SAP reference model , 2008, Data Knowl. Eng..

[121]  Wil M. P. van der Aalst,et al.  Dynamic, Extensible and Context-Aware Exception Handling for Workflows , 2007, OTM Conferences.

[122]  Jan Mendling,et al.  Refactoring of Process Model Activity Labels , 2010, NLDB.

[123]  Mathias Weske,et al.  Integrated Workflow Planning and Coordination , 2003, DEXA.

[124]  Jacques Wainer,et al.  Tucupi: a flexible workflow system based on overridable constraints , 2004, SAC '04.

[125]  Stefanie Rinderle-Ma,et al.  Integrating Process Learning and Process Evolution - A Semantics Based Approach , 2005, Business Process Management.

[126]  Kunal Verma,et al.  Constraint driven Web service composition in METEOR-S , 2004, IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004.

[127]  Peter G. Kropf,et al.  A Workflow-Oriented System Architecture for the Management of Container Transportation , 2004, Business Process Management.

[128]  Dimitris Karagiannis,et al.  Integrating machine learning and workflow management to support acquisition and adaptation of workflow models , 1998, Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130).

[129]  Olivia R. Liu Sheng,et al.  Formulating the Data-Flow Perspective for Business Process Management , 2006, Inf. Syst. Res..

[130]  Itp Irene Vanderfeesten.  Product-based design and support of workflow processes , 2009 .

[131]  Hajo A. Reijers,et al.  The Declarative Approach to Business Process Execution: An Empirical Test , 2009, CAiSE.

[132]  Mary Poppendieck,et al.  Lean Software Development , 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).

[133]  Shazia Wasim Sadiq,et al.  Compliance checking between business processes and business contracts , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[134]  Jan Mendling,et al.  Seven process modeling guidelines (7PMG) , 2010, Inf. Softw. Technol..

[135]  Manfred Reichert,et al.  The ADEPT project: a decade of research and development for robust and flexible process support , 2009, Computer Science - Research and Development.

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

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

[138]  Manfred Reichert,et al.  Flexibility in Process-Aware Information Systems , 2009, Trans. Petri Nets Other Model. Concurr..

[139]  Taiichi Ohno,et al.  The Toyota Production System , 1984 .

[140]  Stefanie Rinderle,et al.  Schema Evolution in Process Management Systems , 2004 .

[141]  Ralph Bergmann,et al.  Representation and Structure-Based Similarity Assessment for Agile Workflows , 2007, LWA.

[142]  Manfred Reichert,et al.  Extending a Business Process Modeling Tool With Process Configuration Facilities: The Provop Demonstrator , 2009, BPM.

[143]  Daniela Luengo,et al.  Applying Clustering in Process Mining to Find Different Versions of a Business Process That Changes over Time , 2011, Business Process Management Workshops.

[144]  Manfred Reichert,et al.  IT Support for Release Management Processes in the Automotive Industry , 2006, Business Process Management.

[145]  Manfred Reichert,et al.  ADEPTworkflow - Advanced Workflow Technology for the EfficientSupport of Adaptive, Enterprise-wide Processes , 2000 .

[146]  Stefanie Rinderle-Ma,et al.  Advanced Migration Strategies for Adaptive Process Management Systems , 2010, 2010 IEEE 12th Conference on Commerce and Enterprise Computing.

[147]  Nenad Stojanovic,et al.  Pattern-Based Design and Validation of Business Process Compliance , 2007, OTM Conferences.

[148]  Tom Mens,et al.  A survey of software refactoring , 2004, IEEE Transactions on Software Engineering.

[149]  Ralph Bergmann,et al.  Towards Case-Based Adaptation of Workflows , 2010, ICCBR.

[150]  Dickson K. W. Chiu,et al.  Web Interface-Driven Cooperative Exception Handling in Adome Workflow Management System , 2001, Inf. Syst..

[151]  Manfred Reichert,et al.  COREPROSim: A Tool for Modeling, Simulating and Adapting Data-Driven Process Structures , 2008, BPM.

[152]  Peter Dadam,et al.  On enabling integrated process compliance with semantic constraints in process management systems , 2012, Inf. Syst. Frontiers.

[153]  Vera Künzle,et al.  Towards Object-Aware Process Management Systems: Issues, Challenges, Benefits , 2009, BMMDS/EMMSAD.

[154]  Shazia Wasim Sadiq,et al.  Managing Process Variants as an Information Resource , 2006, Business Process Management.

[155]  Wil M. P. van der Aalst,et al.  Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows , 2009, CAiSE.

[156]  Saharon Shelah,et al.  On the temporal analysis of fairness , 1980, POPL '80.

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

[158]  Gil Regev,et al.  Taxonomy of Flexibility in Business Processes , 2006, BPMDS.

[159]  Manfred Reichert,et al.  Enabling personalized visualization of large business processes through parameterizable views , 2012, SAC '12.

[160]  Manfred Reichert,et al.  Flexibility of Data-Driven Process Structures , 2006, Business Process Management Workshops.

[161]  Peter S. Pande,et al.  The Six Sigma Way: How GE, Motorola, and Other Top Companies are Honing Their Performance , 2000 .

[162]  Jacques Wainer,et al.  Constraint-Based Flexible Workflows , 2003, CRIWG.

[163]  Peter Dadam,et al.  Guarded Process Spaces (GPS): A Navigation System towards Creation and Dynamic Change of Healthcare Processes from the End-User's Perspective , 2011, Business Process Management Workshops.

[164]  Schahram Dustdar,et al.  VIDRE--A Distributed Service-Oriented Business Rule Engine based on RuleML , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[165]  Reidar Conradi,et al.  Automatic Replanning of Task Networks for Process Model Evolution in EPOS , 1993, ESEC.

[166]  Shazia Wasim Sadiq,et al.  Modeling Control Objectives for Business Process Compliance , 2007, BPM.

[167]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.

[168]  Martin Fowler,et al.  Refactoring - Improving the Design of Existing Code , 1999, Addison Wesley object technology series.

[169]  Burkhard Freitag,et al.  Design for Change: Evolving Workflow Specifications in ULTRAflow , 2002, CAiSE.

[170]  Manfred Reichert,et al.  Data-Driven Modeling and Coordination of Large Process Structures , 2007, OTM Conferences.

[171]  Manfred Reichert,et al.  Dynamische Ablaufänderungen in Workflow-Management-Systemen , 2000 .

[172]  Schahram Dustdar,et al.  A Lightweight Model-Driven Orchestration Engine for e-Services , 2005, TES.

[173]  Manfred Reichert,et al.  Supporting Flexible Processes with Adaptive Work?ow and Case Handling , 2008, 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[174]  Jana Koehler,et al.  The refined process structure tree , 2009, Data Knowl. Eng..

[175]  Marek Kowalkiewicz,et al.  Weak Dependencies in Business Process Models , 2008, BIS.

[176]  Stefanie Rinderle-Ma,et al.  A Formal Framework for Adaptive Access Control Models , 2007, J. Data Semant..

[177]  Manfred Reichert,et al.  On Measuring Process Model Similarity Based on High-Level Change Operations , 2007, ER.

[178]  Wil M. P. van der Aalst,et al.  Rediscovering workflow models from event-based data using little thumb , 2003, Integr. Comput. Aided Eng..

[179]  Richard Hull,et al.  Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes , 2009, IEEE Data Eng. Bull..

[180]  Paola Mello,et al.  Declarative specification and verification of service choreographiess , 2010, TWEB.

[181]  Wil M. P. van der Aalst,et al.  Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance , 2001, ICATPN.

[182]  Volker Gruhn,et al.  Complexity Metrics for business Process Models , 2006, BIS.

[183]  Ralph E. Johnson,et al.  A Refactoring Tool for Smalltalk , 1997, Theory Pract. Object Syst..

[184]  Jan Recker,et al.  Using process mining to learn from process changes in evolutionary systems , 2008, Int. J. Bus. Process. Integr. Manag..

[185]  Wil M. P. van der Aalst,et al.  Process Flexibility: A Survey of Contemporary Approaches , 2008, CIAO! / EOMAS.

[186]  Erhard Rahm,et al.  AGENTWORK: a workflow system supporting rule-based workflow adaptation , 2004, Data Knowl. Eng..

[187]  Peter Dadam,et al.  On Enabling Data-Aware Compliance Checking of Business Process Models , 2010, ER.

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

[189]  Andreas Wombacher,et al.  On the Controlled Evolution of Process Choreographies , 2005, 22nd International Conference on Data Engineering (ICDE'06).

[190]  Frank Leymann,et al.  Supporting Business Transactions Via Partial Backward Recovery In Workflow Management Systems , 1995, BTW.

[191]  Massimiliano de Leoni,et al.  Adaptive Process Management in Highly Dynamic and Pervasive Scenarios , 2009, YR-SOC.

[192]  Wil M. P. van der Aalst,et al.  Translating unstructured workflow processes to readable BPEL: Theory and implementation , 2008, Inf. Softw. Technol..

[193]  Rüdiger Pryss,et al.  Enabling Poka-Yoke Workflows with the AristaFlow BPM Suite , 2009, BPM.

[194]  Pedro Antunes,et al.  Supporting effective unexpected exceptions handling in workflow management systems , 2007, SAC '07.

[195]  Remco M. Dijkman,et al.  Similarity of business process models: Metrics and evaluation , 2011, Inf. Syst..

[196]  Ursula Goltz,et al.  Refinement of actions and equivalence notions for concurrent systems , 2001, Acta Informatica.

[197]  Fabio Casati,et al.  Business Process Intelligence , 2018, Encyclopedia of Social Network Analysis and Mining. 2nd Ed..

[198]  Jan Mendling,et al.  Configurable multi-perspective business process models , 2011, Inf. Syst..

[199]  Manfred Reichert,et al.  Enabling Process Support for Advanced Applications with the AristaFlow BPM Suite , 2010, BPM.

[200]  Jan Recker,et al.  How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation , 2008, CAiSE.

[201]  Wil M. P. van der Aalst,et al.  Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.

[202]  Manfred Reichert,et al.  Context-based Configuration of Process Variants , 2008 .

[203]  Mark Ryan,et al.  Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .

[204]  Moe Thandar Wynn,et al.  Business process verification - finally a reality! , 2009, Bus. Process. Manag. J..

[205]  Evelina Lamma,et al.  Expressing and Verifying Business Contracts with Abductive Logic Programming , 2008, Normative Multi-agent Systems.

[206]  Stefanie Rinderle-Ma,et al.  Balancing Flexibility and Security in Adaptive Process Management Systems , 2005, OTM Conferences.

[207]  Michael Rosemann,et al.  Process Management: A Guide for the Design of Business Processes , 2011 .

[208]  Boudewijn F. van Dongen,et al.  Multi-phase Process Mining: Building Instance Graphs , 2004, ER.

[209]  Walter Rupietta,et al.  WorkParty - Business Processes and Workflow Management , 2006, Handbook on Architectures of Information Systems.

[210]  Carlos Maltzahn,et al.  The Chautauqua workflow system , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[211]  Kevin Crowston,et al.  Organizing Business Knowledge: The MIT Process Handbook , 2003 .

[212]  Jacques Wainer,et al.  Workflow Modeling Using Proclets , 2000, CoopIS.

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

[214]  Rob J. van Glabbeek,et al.  Branching time and abstraction in bisimulation semantics , 1996, JACM.

[215]  Yaron Denekamp,et al.  Learning the Context of a Clinical Process , 2009, Business Process Management Workshops.

[216]  George Luger,et al.  Artificial Intelligence: Structures and Strategies for Complex Problem Solving (5th Edition) , 2004 .

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

[218]  Stefanie Rinderle-Ma,et al.  Providing Integrated Life Cycle Support in Process-Aware Information Systems , 2009, Int. J. Cooperative Inf. Syst..

[219]  Birgit Pfitzmann,et al.  From Regulatory Policies to Event Monitoring Rules: Towards Model-Driven Compliance Automation , 2006 .

[220]  Remco M. Dijkman,et al.  Similarity Search of Business Process Models , 2009, IEEE Data Eng. Bull..

[221]  Manfred Reichert,et al.  Dealing with forward and backward jumps in workflow management systems , 2003, Software and Systems Modeling.

[222]  Rüdiger Zarnekow,et al.  ITIL as common practice reference model for IT service management: formal assessment and implications for practice , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

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

[224]  Mathias Weske,et al.  Triggering Replanning in an Integrated Workflow Planning and Enactment System , 2004, ADBIS.

[225]  Mathias Weske,et al.  Formal foundation and conceptual design of dynamic adaptations in a workflow management system , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[226]  Marlon Dumas,et al.  Structuring acyclic process models , 2010, Inf. Syst..

[227]  Remco M. Dijkman,et al.  Human and automatic modularizations of process models to enhance their comprehension , 2011, Inf. Syst..

[228]  Barbara Weber,et al.  User Assistance during Process Execution - An Experimental Evaluation of Recommendation Strategies , 2010, Business Process Management Workshops.

[229]  Peter Dadam,et al.  Monitoring Business Process Compliance Using Compliance Rule Graphs , 2011, OTM Conferences.

[230]  Agnar Aamodt,et al.  Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches , 1994, AI Commun..

[231]  Florian Gottschalk,et al.  Configurable process models , 2009 .

[232]  Marlon Dumas,et al.  A flexible, object-centric approach for business process modelling , 2010, Service Oriented Computing and Applications.

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

[234]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[235]  Ricardo Seguel,et al.  Process Mining Manifesto , 2011, Business Process Management Workshops.

[236]  David W. Aha,et al.  Introduction: Interactive Case-Based Reasoning , 2001, Applied Intelligence.

[237]  Mykola Pechenizkiy,et al.  Handling Concept Drift in Process Mining , 2011, CAiSE.

[238]  Hajo A. Reijers,et al.  Advanced Social Features in a Recommendation System for Process Modeling , 2009, BIS.

[239]  Jan Mendling,et al.  From business process models to process-oriented software systems , 2009, TSEM.

[240]  Vera Künzle,et al.  PHILharmonicFlows: towards a framework for object-aware process management , 2011, J. Softw. Maintenance Res. Pract..

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

[242]  Manfred Reichert,et al.  Investigating the effort of using business process management technology: Results from a controlled experiment , 2010, Sci. Comput. Program..

[243]  Jan Mendling,et al.  Imperative versus Declarative Process Modeling Languages: An Empirical Investigation , 2011, Business Process Management Workshops.

[244]  Hajo A. Reijers,et al.  The Case Handling Case , 2003, Int. J. Cooperative Inf. Syst..

[245]  Manfred Reichert,et al.  Data-Driven Design of Engineering Processes with COREPROModeler , 2007, 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007).

[246]  Maria E. Orlowska,et al.  Pockets of Flexibility in Workflow Specification , 2001, ER.

[247]  Hajo A. Reijers,et al.  Design and control of workflow processes: business process management for the service industry , 2003 .

[248]  Manfred Reichert,et al.  Towards Automatic Process-aware Coordination in Collaborative Software Engineering , 2011, ICSOFT.

[249]  Manfred Reichert,et al.  Towards Flexible Process Support on Mobile Devices , 2010, CAiSE Forum.

[250]  Remco M. Dijkman,et al.  Merging Business Process Models , 2010, OTM Conferences.

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

[252]  Manfred Reichert,et al.  Managing Process Variants in the Process Life Cycle , 2007, ICEIS.

[253]  Wil M. P. van der Aalst,et al.  Decision Mining in ProM , 2006, Business Process Management.

[254]  Ralph Bergmann,et al.  Structural Adaptation of Workflows Supported by a Suspension Mechanism stand by Case-Based Reasoning , 2007, 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007).

[255]  Pnina Soffer,et al.  Mirror, Mirror on the Wall, Can I Count on You at All? Exploring Data Inaccuracy in Business Processes , 2010, BMMDS/EMMSAD.

[256]  António Rito Silva,et al.  Authorization and Access Control in Adaptive Workflows , 2003, ESORICS.

[257]  Boudewijn F. van Dongen,et al.  Verification of EPCs: Using Reduction Rules and Petri Nets , 2005, CAiSE.

[258]  Dov Dori,et al.  A methodology for eliciting and modeling exceptions , 2009, J. Biomed. Informatics.

[259]  Fabio Casati,et al.  Dynamic and adaptive composition of e-services , 2001, Inf. Syst..

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

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

[262]  Wil M. P. van der Aalst,et al.  DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.

[263]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[264]  Wil M. P. van der Aalst,et al.  Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows , 2006, OTM Conferences.

[265]  Manfred Reichert,et al.  Employing Semantically Driven Adaptation for Amalgamating Software Quality Assurance with Process Management , 2010 .

[266]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[267]  Stefanie Rinderle-Ma,et al.  Data Flow Correctness in Adaptive Workflow Systems , 2009, EMISA Forum.

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

[269]  Peter Dadam,et al.  Adaptive process management with ADEPT2 , 2005, 21st International Conference on Data Engineering (ICDE'05).

[270]  Wil M. P. van der Aalst,et al.  Deadline-based escalation in process-aware information systems , 2007, Decis. Support Syst..

[271]  Hajo A. Reijers,et al.  The effectiveness of workflow management systems: Predictions and lessons learned , 2005, Int. J. Inf. Manag..

[272]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

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

[274]  Wil M. P. van der Aalst,et al.  Questionnaire-based variability modeling for system configuration , 2009, Software & Systems Modeling.

[275]  Aditya K. Ghose,et al.  Auditing Business Process Compliance , 2007, ICSOC.

[276]  Stefanie Rinderle-Ma,et al.  Relaxed Compliance Notions in Adaptive Process Management Systems , 2008, ER.

[277]  Manfred Reichert,et al.  Capturing variability in business process models: the Provop approach , 2010 .

[278]  Ying Liu,et al.  A static compliance-checking framework for business process models , 2007, IBM Syst. J..

[279]  Manfred Reichert,et al.  What are the Problem Makers: Ranking Activities According to their Relevance for Process Changes , 2009, 2009 IEEE International Conference on Web Services.

[280]  Peter Dadam,et al.  Evaluation of Correctness Criteria for Dynamic Workflow Changes , 2003, Business Process Management.

[281]  Justus Klingemann,et al.  Controlled Flexibility in Workflow Management , 2000, CAiSE.

[282]  Manfred Reichert,et al.  Enterprise-Wide and Cross-Enterprise Workflow-Management: Challenges and Research Issues for Adaptive Workflows , 1999, Enterprise-wide and Cross-enterprise Workflow Management.

[283]  Manfred Reichert,et al.  The Proviado Access Control Model for Business Process Monitoring Components , 2010, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..

[284]  Iris Reinhartz-Berger,et al.  Extending the Adaptability of Reference Models , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

[286]  Vera Künzle,et al.  Integrating Users in Object-Aware Process Management Systems: Issues and Challenges , 2009, Business Process Management Workshops.

[287]  Manfred Reichert,et al.  Guaranteeing Soundness of Configurable Process Variants in Provop , 2009, 2009 IEEE Conference on Commerce and Enterprise Computing.

[288]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[289]  Stefanie Rinderle-Ma,et al.  On the Formal Semantics of Change Patterns in Process-Aware Information Systems , 2008, ER.

[290]  Jan Mendling,et al.  Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects , 2007, ER.

[291]  Manfred Reichert,et al.  Towards a Workflow Language for Software Engineering , 2011 .

[292]  Peter Dadam,et al.  Disjoint and Overlapping Process Changes: Challenges, Solutions, Applications , 2004, CoopIS/DOA/ODBASE.

[293]  Stefanie Rinderle-Ma,et al.  Change patterns and change support features - Enhancing flexibility in process-aware information systems , 2008, Data Knowl. Eng..

[294]  Barbara Weber,et al.  Alaska Simulator Toolset for Conducting Controlled Experiments on Process Flexibility , 2010, CAiSE Forum.

[295]  Maria E. Orlowska,et al.  Managing Change and Time in Dynamic Workflow Processes , 2000, Int. J. Cooperative Inf. Syst..

[296]  Wil M. P. van der Aalst,et al.  Workflow Support Using Proclets: Divide, Interact, and Conquer , 2009, IEEE Data Eng. Bull..

[297]  Hajo A. Reijers,et al.  Product-Based Workflow Design , 2003, J. Manag. Inf. Syst..

[298]  George S. Avrunin,et al.  Property specification patterns for finite-state verification , 1998, FMSP '98.

[299]  Mary Poppendieck,et al.  Implementing Lean Software Development: From Concept to Cash (The Addison-Wesley Signature Series) , 2006 .

[300]  Peter Dadam,et al.  On Dealing with Structural Conflicts between Process Type and Instance Changes , 2004, Business Process Management.

[301]  Wil M. P. van der Aalst,et al.  Configurable Workflow Models , 2008, Int. J. Cooperative Inf. Syst..

[302]  Manfred Reichert,et al.  IT support for healthcare processes - premises, challenges, perspectives , 2007, Data Knowl. Eng..

[303]  Johann Eder,et al.  Temporal Conformance of Federated Choreographies , 2008, DEXA.

[304]  Chen Li,et al.  Mining Process Model Variants: Challenges, Techniques, Examples , 2010 .

[305]  Manfred Reichert,et al.  Proviado - Personalized and Configurable Visualizations of Business Processes , 2006, EC-Web.

[306]  Anne H. H. Ngu,et al.  Dynamic composition and optimization of Web services , 2008, Distributed and Parallel Databases.

[307]  Barbara Weber,et al.  The Impact of Testcases on the Maintainability of Declarative Process Models , 2011, BMMDS/EMMSAD.

[308]  Morad Benyoucef,et al.  Série Scientifique Scientific Series Addressing Dynamism in E- Negotiations by Workflow Management Systems Addressing Dynamism in E-negotiations by Workflow Management Systems , 2022 .

[309]  Nereu F. Kock,et al.  Product flow, breadth and complexity of business processes: An empirical study of 15 business processes in three organizations , 1996 .

[310]  August-Wilhelm Scheer,et al.  ARIS — Vom Geschäftsprozess zum Anwendungssystem , 1998 .

[311]  Manfred Reichert,et al.  ADEPT Workflow Management System: Flexible Support for Enterprise-Wide Business Processes - Tool Presentation - , 2003 .

[312]  Pierre-Yves Schobbens,et al.  Feature Diagrams: A Survey and a Formal Semantics , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[313]  Remco M. Dijkman,et al.  Identifying refactoring opportunities in process model repositories , 2011, Inf. Softw. Technol..

[314]  Carlo Combi,et al.  Flaws in the Flow: The Weakness of Unstructured Business Process Modeling Languages Dealing with Data , 2009, OTM Conferences.

[315]  G. A. Miller.  THE PSYCHOLOGICAL REVIEW THE MAGICAL NUMBER SEVEN, PLUS OR MINUS TWO: SOME LIMITS ON OUR CAPACITY FOR PROCESSING INFORMATION 1 , 1956 .

[316]  Manfred Reichert,et al.  Refactoring large process model repositories , 2011, Comput. Ind..

[317]  Otthein Herzog,et al.  Managing evolving workflow specifications , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

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

[319]  Manfred Reichert,et al.  View-Based Process Visualization , 2007, BPM.

[320]  Manfred Reichert,et al.  Mining business process variants: Challenges, scenarios, algorithms , 2011, Data Knowl. Eng..

[321]  Hajo A. Reijers,et al.  Discovering Social Networks from Event Logs , 2005, Computer Supported Cooperative Work (CSCW).

[322]  Mathias Weske,et al.  Efficient Compliance Checking Using BPMN-Q and Temporal Logic , 2008, BPM.

[323]  Stefanie Rinderle-Ma,et al.  On the Controlled Evolution of Access Rules in Cooperative Information Systems , 2005, OTM Conferences.

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

[325]  Manfred Reichert,et al.  Workflow Time Patterns for Process-Aware Information Systems , 2010, BMMDS/EMMSAD.