Declarative business process modelling: principles and modelling languages

The business process literature has proposed a multitude of business process modelling approaches or paradigms, each in response to a different business process type with a unique set of requirements. Two polar paradigms, i.e. the imperative and the declarative paradigm, appear to define the extreme positions on the paradigm spectrum. While imperative approaches focus on explicitly defining how an organisational goal should be reached, the declarative approaches focus on the directives, policies and regulations restricting the potential ways to achieve the organisational goal. In between, a variety of hybrid-paradigms can be distinguished, e.g. the advanced and adaptive case management. This article focuses on the less-exposed declarative approach on process modelling. An outline of the declarative process modelling and the modelling approaches is presented, followed by an overview of the observed declarative process modelling principles and an evaluation of the declarative process modelling approaches.

[1]  Paul W. H. Chung,et al.  Exploiting AI Technologies to Realise Adaptive Workflow Systems , 2003 .

[2]  Giovanni Sartor,et al.  Time and norms: a formalisation in the event-calculus , 1999, ICAIL '99.

[3]  Ronald G. Ross,et al.  Principles of the business rule approach: Ronald G. Ross, Addison-Wesley Information Technology Series, February 2003, 256pp., price £30.99, ISBN 0-201-78893-4 , 2004, Int. J. Inf. Manag..

[4]  Wil M. P. van der Aalst,et al.  Flexibility as a Service , 2009, DASFAA Workshops.

[5]  Hajo A. Reijers,et al.  Best practices in business process redesign: validation of a redesign framework , 2005, Comput. Ind..

[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]  Hajo A. Reijers,et al.  The Declarative Approach to Business Process Execution: An Empirical Test , 2009, CAiSE.

[8]  Jan Vanthienen,et al.  An Exploratory Approach to Process Lifecycle Transitions from a Paradigm-Based Perspective , 2011, BMMDS/EMMSAD.

[9]  Shazia Wasim Sadiq,et al.  On managing business processes variants , 2009, Data Knowl. Eng..

[10]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

[11]  Gerti Kappel,et al.  Coordination in Workflow Management Systems - A Rule-Based Approach , 1996, Coordination Technology for Collaborative Applications.

[12]  Michael H. Kalantar,et al.  Model Driven Provisioning: Bridging the Gap Between Declarative Object Models and Procedural Provisioning Tools , 2006, Middleware.

[13]  Hyerim Bae,et al.  Increasing the efficiency of business processes using a theory of constraints , 2010, Inf. Syst. Frontiers.

[14]  Lior Fink,et al.  Exploring the perceived business value of the flexibility enabled by information technology infrastructure , 2009, Inf. Manag..

[15]  Jan Vanthienen,et al.  EM-BrA2CE v0.1: A Vocabulary and Execution Model for Declarative Business Process Modeling , 2007 .

[16]  Pinar Yolum Towards Design Tools for Protocol Development , 2006, AC.

[17]  Jan Vanthienen,et al.  Unified Patterns to Transform Business Rules into an Event Coordination Mechanism , 2010, Business Process Management Workshops.

[18]  Stephen A. White,et al.  Business Process Modeling Notation (BPMN), Version 1.0 , 2004 .

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

[20]  Diogo R. Ferreira,et al.  An Integrated Life Cycle for Workflow Management Based on Learning and Planning , 2006, Int. J. Cooperative Inf. Syst..

[21]  Jan Mendling,et al.  Declarative versus Imperative Process Modeling Languages: The Issue of Understandability , 2009, BMMDS/EMMSAD.

[22]  James A. Hendler,et al.  AI Planning: Systems and Techniques , 1990, AI Mag..

[23]  Jianwen Su,et al.  Towards Formal Analysis of Artifact-Centric Business Process Models , 2007, BPM.

[24]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[25]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

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

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

[28]  Stijn Goedertier,et al.  Declarative Techniques for Modeling and Mining Business Processes , 2008 .

[29]  Martin Bichler,et al.  SLA representation, management and enforcement , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[30]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[31]  Lucy A. Suchman,et al.  Making work visible , 1995, CACM.

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

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

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

[35]  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.

[36]  Birgit Zimmermann,et al.  vBPMN: Event-Aware Workflow Variants by Weaving BPMN2 and Business Rules , 2011, BMMDS/EMMSAD.

[37]  Guangxin Yang,et al.  Process library , 2004, Data Knowl. Eng..

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

[39]  Lucy A. Suchman,et al.  Plans and Situated Actions: The Problem of Human-Machine Communication (Learning in Doing: Social, , 1987 .

[40]  Mathias Weske,et al.  Advances in business process management , 2004, Data Knowl. Eng..

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

[42]  Akhil Kumar,et al.  A Framework for Document-Driven Workflow Systems , 2005, Business Process Management.

[43]  Gerd Wagner,et al.  The Agent-Object-Relationship metamodel: towards a unified view of state and behavior , 2003, Inf. Syst..

[44]  Guido Governatori,et al.  On compliance checking for clausal constraints in annotated process models , 2012, Inf. Syst. Frontiers.

[45]  Manfred Reichert,et al.  Beyond rigidity – dynamic process lifecycle support , 2009, Computer Science - Research and Development.

[46]  Stefan Jablonski,et al.  A comprehensive approach to flexibility in workflow management systems , 1999, WACC '99.

[47]  Jan Recker,et al.  Opportunities and constraints: the current struggle with BPMN , 2010, Bus. Process. Manag. J..

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

[49]  Diogo R. Ferreira,et al.  Learning, planning, and the life cycle of workflow management , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).

[50]  Marta Indulska,et al.  Do Process Modelling Techniques Get Better? A Comparative Ontological Analysis of BPMN , 2005 .

[51]  Jan Mendling,et al.  Declarative versus Imperative Process Modeling Languages: The Issue of Maintainability , 2009, Business Process Management Workshops.

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

[53]  Li Zheng,et al.  Business process design: Process comparison and integration , 2012, Inf. Syst. Frontiers.

[54]  Jan Vanthienen,et al.  An overview of declarative process modeling principles and languages , 2009 .

[55]  Peter Gyngell,et al.  Process Innovation: Reengineering Work through Information Technology , 1994 .

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

[57]  Marta Indulska,et al.  Modeling languages for business processes and business rules: A representational analysis , 2009, Inf. Syst..

[58]  Jianwen Su,et al.  Automatic construction of simple artifact-based business processes , 2009, ICDT '09.

[59]  Shazia Wasim Sadiq,et al.  A Survey of Comparative Business Process Modeling Approaches , 2007, BIS.

[60]  Keith Clark,et al.  An Architecture For Contract-based Communicating Agents , 2004 .

[61]  Akhil Kumar,et al.  Process Materialization Using Templates and Rules to Design Flexible Process Models , 2009, RuleML.

[62]  M. O'Conor Sarbanes Oxley: The implications of Sarbanes-Oxley for non-US IT departments , 2005 .

[63]  Wil M. P. van der Aalst,et al.  Towards a Taxonomy of Process Flexibility , 2008, CAiSE Forum.

[64]  Carla Simone,et al.  Coordination mechanisms: Towards a conceptual foundation of CSCW systems design , 1996, Computer Supported Cooperative Work (CSCW).

[65]  J. Leon Zhao,et al.  A case-based reasoning framework for workflow model management , 2004, Data Knowl. Eng..

[66]  Hajo A. Reijers,et al.  Improved model management with aggregated business process models , 2009, Data Knowl. Eng..

[67]  Marta Indulska,et al.  The compliance enabled enterprise - process is the product , 2008 .

[68]  Wil M. P. van der Aalst,et al.  DECLARE: Full Support for Loosely-Structured Processes , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

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

[70]  Bryan Hattingh,et al.  The competitive advantage , 2007 .

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

[72]  Huaiqing Wang,et al.  From process logic to business logic - A cognitive approach to business process management , 2006, Inf. Manag..

[73]  D. L. Flarey Reengineering the Corporation , 1994 .

[74]  Daniel Meziat,et al.  A CASE STUDY: USING WORKFLOW AND AI PLANNERS , 2000 .

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

[76]  Akhil Kumar,et al.  Research Commentary: Workflow Management Issues in e-Business , 2002, Inf. Syst. Res..

[77]  Wil M.P. van der Aalst Modelling and analysing workflow using a Petri-net based approach , 1994 .

[78]  Marta Indulska,et al.  Business Process Modeling- A Comparative Analysis , 2009, J. Assoc. Inf. Syst..

[79]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[80]  Christoph Bussler The Role of B2B Protocols in Inter-Enterprise Process Execution , 2001, TES.

[81]  Jan Vanthienen,et al.  EM-BrA2CE v0.1: A Vocabulary and Execution Model for Declarative Business Process Modeling , 2007 .

[82]  Shazia Wasim Sadiq,et al.  Using a temporal constraint network for business process execution , 2006, ADC.

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

[84]  Birgit Zimmermann,et al.  Flexible Workflows at Design- and Runtime Using BPMN2 Adaptation Patterns , 2011, BIS.

[85]  Irene Barba,et al.  A Planning and Scheduling Perspective for Designing Business Processes from Declarative Specifications , 2011, ICAART.

[86]  Erich Schikuta,et al.  Rule-Based Workflow Validation of Hierarchical Service Level Agreements , 2009, 2009 Workshops at the Grid and Pervasive Computing Conference.

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

[88]  John Peterson,et al.  Transitioning to a business rule management service model: Case studies from the property and casualty insurance industry , 2010, Inf. Manag..

[89]  Irina Rychkova,et al.  Using Declarative Specifications in Business Process Design , 2008, Int. J. Comput. Sci. Appl..

[90]  Stephen Fickas Design issues in a Rule-Based System , 1985, SLIPE '85.

[91]  Robert D. Austin,et al.  Research Commentary - Weighing the Benefits and Costs of Flexibility in Making Software: Toward a Contingency Theory of the Determinants of Development Process Design , 2009, Inf. Syst. Res..

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