Web-Based Modelling and Collaborative Simulation of Declarative Processes

As a provider of Electronic Case Management solutions to knowledge-intensive businesses and organizations, the Danish company Exformatics has in recent years identified a need for flexible process support in the tools that we provide to our customers. We have addressed this need by adapting DCR Graphs, a formal declarative workflow notation developed at the IT University of Copenhagen. Through close collaboration with academia we first integrated execution support for the notation into our existing tools, by leveraging a cloud-based process engine implementing the DCR formalism. Over the last two years we have taken this adoption of DCR Graphs to the next level and decided to treat the notation as a product of its own by developing a stand-alone web-based collaborative portal for the modelling and simulation of declarative workflows. The purpose of the portal is to facilitate end-user discussions on how knowledge workers really work, by enabling collaborative simulation of processes. In earlier work we reported on the integration of DCR Graphs as a workflow execution formalism in the existing Exformatics ECM products. In this paper we report on the advances we have made over the last two years, we describe the new declarative process modelling portal, discuss its features, describe the process of its development, report on the findings of an initial evaluation of the usability of the tool, resulting from a tutorial on declarative modelling with DCR Graphs that we organized at last years BPM conference and present our plans for the future.

[1]  W.M.P. van der Aalst,et al.  Towards a taxonomy of process flexibility (extended version) , 2007 .

[2]  Hadyn Ingram,et al.  Management Challenges for the 21st Century , 2000 .

[3]  Richard Hull,et al.  Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles , 2010, WS-FM.

[4]  Manfred Reichert,et al.  Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies , 2012 .

[5]  T. Davenport,et al.  Improving Knowledge Work Processes , 1996 .

[6]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[7]  Marco Montali.  Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach , 2010 .

[8]  Søren Debois,et al.  A Case for Declarative Process Modelling: Agile Development of a Grant Application System , 2014, 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations.

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

[10]  Raghava Rao Mukkamala,et al.  Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs , 2013, 2013 17th IEEE International Enterprise Distributed Object Computing Conference.

[11]  Patricia Malone,et al.  Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done , 2011 .

[12]  Nelson R. Kellogg,et al.  The Work of Nations: Preparing Ourselves for 21st-Century Capitalism by Robert B. Reich (review) , 1993, Technology and Culture.

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

[14]  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).

[15]  Hajo A. Reijers,et al.  The Automated Discovery of Hybrid Processes , 2014, BPM.

[16]  Søren Debois,et al.  Hierarchical Declarative Modelling with Refinement and Sub-processes , 2014, BPM.

[17]  Hagen Völzer,et al.  An Overview of BPMN 2.0 and Its Potential Use , 2010, BPMN.

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

[19]  Raghava Rao Mukkamala,et al.  Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs , 2013, J. Log. Algebraic Methods Program..

[20]  Raghava Rao Mukkamala,et al.  Exformatics Declarative Case Management Workflows as DCR Graphs , 2013, BPM.

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

[22]  Raghava Rao Mukkamala,et al.  Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs , 2011, PLACES.

[23]  Hajo A. Reijers,et al.  Declarative Modeling-An Academic Dream or the Future for BPM? , 2013, BPM.

[24]  Raghava Rao Mukkamala,et al.  Nested Dynamic Condition Response Graphs , 2011, FSEN.

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

[26]  Richard Hull,et al.  Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events , 2011, DEBS '11.

[27]  Manfred Reichert,et al.  Enabling Flexibility in Process-Aware Information Systems , 2012, Springer Berlin Heidelberg.

[28]  Raghava Rao Mukkamala,et al.  Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference.

[29]  Søren Debois,et al.  Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9 , 2015, 2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice.

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

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

[32]  Michael Westergaard,et al.  Mixing Paradigms for More Comprehensible Models , 2013, BPM.