EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers

We report on a new approach to co-creating adaptive case management systems jointly with end-users, developed in the context of the Effective co-created and compliant adaptive case Management Systems for Knowledge Workers (EcoKnow.org) research project. The approach is based on knowledge from prior ethnographic field studies and research in the declarative Dynamic Condition Response (DCR) technology for model-driven design of case management systems. The approach was tested in an operational environment jointly with the danish municipality of Syddjurs by conducting a service-design project and implementing an open source case manager tool and a new highlighter tool for mapping between textual specifications and the DCR notation. The design method and technologies were evaluated by understandability studies with end-users. The study showed that the development could be done in just 6 months, and that the new highlighter tool in combination with the traditional design and simulation tools, supports domain experts formalise and provide traceability between their interpretations of textual specifications and the formal models.

[1]  Søren Debois,et al.  The DCR graphs process portal , 2016 .

[2]  Søren Debois,et al.  Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit , 2018, Business Process Management Cases.

[3]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[4]  Pernille Bjørn,et al.  Layers in Sorting Practices: Sorting out Patients with Potential Cancer , 2011, Computer Supported Cooperative Work (CSCW).

[5]  Leon J. Osterweil,et al.  Little-JIL/Juliette: a process definition language and interpreter , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[6]  Leon J. Osterweil,et al.  Software processes are software too , 1987, ISPW.

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

[8]  Søren Debois,et al.  Dynamic Evaluation Forms using Declarative Modeling , 2018, BPM.

[9]  Dirk Fahland,et al.  Where Did I Misbehave? Diagnostic Information in Compliance Checking , 2012, BPM.

[10]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

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

[12]  Rik Eshuis,et al.  Deriving Consistent GSM Schemas from DCR Graphs , 2016, ICSOC.

[13]  Moe Thandar Wynn,et al.  2 Motivating Scenario : A Complaints Handling Process , 2013 .

[14]  Tijs Slaats,et al.  Flexible Process Notations for Cross-organizational Case Management Systems , 2016 .

[15]  Wil M. P. van der Aalst,et al.  Time prediction based on process mining , 2011, Inf. Syst..

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

[17]  Ilaria Redaelli,et al.  New Perspectives on Plans: Studying Planning as an Instance of Instructed Action , 2018, Computer Supported Cooperative Work (CSCW).

[18]  Moe Thandar Wynn,et al.  Predicting Deadline Transgressions Using Event Logs , 2012, Business Process Management Workshops.

[19]  Guido Governatori,et al.  Thou shalt is not you will , 2014, ICAIL.

[20]  Barbara Weber,et al.  Understandability of Hybrid Process Models Using DCR Graphs , 2018 .

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

[22]  C..  Coping with complexity , 2006, Nature.

[23]  George S. Avrunin,et al.  Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes , 2017, ACM Trans. Priv. Secur..

[24]  Benjamin Naumann,et al.  Mental Representations A Dual Coding Approach , 2016 .

[25]  Pearl Brereton,et al.  Performing systematic literature reviews in software engineering , 2006, ICSE.

[26]  Barbara Weber,et al.  LiProMo-Literate Process Modeling , 2012, CAiSE Forum.

[27]  Søren Debois,et al.  Forms are declarative processes , 2016 .

[28]  Barbara Weber,et al.  Evaluating the Understandability of Hybrid Process Model Representations Using Eye Tracking: First Insights , 2018, Business Process Management Workshops.

[29]  Johannes De Smedt,et al.  Discovering hidden dependencies in constraint-based declarative process models for improving understandability , 2018, Inf. Syst..

[30]  Barbara Weber,et al.  Exploring the Modeling of Declarative Processes Using a Hybrid Approach , 2019, ER.

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

[32]  Marta Indulska,et al.  Effect of Linked Rules on Business Process Model Understanding , 2017, BPM.

[33]  Søren Debois,et al.  Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs , 2017, BIR Workshops.

[34]  H. V. Restorff.  Über die Wirkung von Bereichsbildungen im Spurenfeld , 1933 .

[35]  George S. Avrunin,et al.  Process Driven Guidance for Complex Surgical Procedures , 2018, AMIA.

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

[37]  Guido Governatori,et al.  Norm Compliance in Business Process Modeling , 2010, RuleML.

[38]  Hugo A. López,et al.  Assisted Declarative Process Creation from Natural Language Descriptions , 2019, 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW).

[39]  Louis de Koker.  Money Laundering Compliance—The Challenges of Technology , 2016 .

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

[41]  Barbara Weber,et al.  Exploring the Understandability of a Hybrid Process Design Artifact Based on DCR Graphs , 2019, BPMDS/EMMSAD@CAiSE.

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

[43]  Søren Debois,et al.  Business Process Compliance Using Reference Models of Law , 2020, FASE.

[44]  Søren Debois,et al.  The Process Highlighter: From Texts to Declarative Processes and Back , 2018, BPM.

[45]  Guido Governatori,et al.  No Time for Compliance , 2015, 2015 IEEE 19th International Enterprise Distributed Object Computing Conference.

[46]  Ekkart Kindler,et al.  On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study , 2020, Inf. Syst..

[47]  Thomas T. Hildebrandt,et al.  The Role of Discretion in the Age of Automation , 2020, Computer Supported Cooperative Work (CSCW).

[48]  Fabrizio Maria Maggi,et al.  Predictive Monitoring of Business Processes , 2013, CAiSE.

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