Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management

  title={Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management},
  author={Thomas T. Hildebrandt and Morten Marquard and Raghava Rao Mukkamala and Tijs Slaats},
  booktitle={OTM Workshops},
By trustworthy adaptive case management we mean that it should be possible to adapt processes and goals at runtime while guaranteeing that no deadlocks and livelocks are introduced. We propose to support this by applying a formal declarative process model, DCR Graphs, and exemplify its operational semantics that supports both run time changes and formal verification. We show how these techniques are being implemented in industry as a component of the Exformatics case management tools. Finally… 
Differences Between BPM and ACM Models for Process Execution
The greater flexibility of ACM models is found to be more effective in processing executions with competent knowledge workers and the possible improvement of average case duration due to parallelization effects.
Notation-Agnostic Subprocess Modeling for Adaptive Case Management
This work outlines how to combine process models for structured routine aspects with the ad-hoc activities and flexibility of social software in the same context and shows that ad-Hoc project management and different notations can be applied within the same case.
Ontology-Based Behavioral Constraint Authoring
An ontology-based approach for defining and maintaining behavioral constraints in the context of flexible business processes is proposed, which aims at enabling business users to take active part in the creation and maintenance of behavioral constraints.
A Case for Declarative Process Modelling: Agile Development of a Grant Application System
We report on a recent industrial project carried out by Exformatics A/S in which the company used the declarative DCR Graphs notation to model and implement the grant application process of a Danish
Hierarchical Declarative Modelling with Refinement and Sub-processes
We present a new declarative model with composition and hierarchical definition of processes, featuring (a) incremental refinement, (b) adaptation of processes, and (c) dynamic creation of
Adaptive Case Management Framework to Develop Case-based Emergency Response System
This research aims to study how ACM can be leveraged to design and implement case-based emergency response systems (ERSs) and proposes a domain-specific and vendor-neutral Case Management Framework (CMF) that incorporates the essential capabilities to support the ERSs.
Replication, refinement & reachability: complexity in dynamic condition-response graphs
It is proved that event-reachability and refinement are np-hard for DCR$$^\star $$⋆ processes without replication, and that these finite state processes recognise exactly the languages that are the union of a regular and anω-regular language.
Modelling emergency response process using case management model and notation
The authors use the CMMN to build a template model for a generic emergency response process and conclude that the C MMN has a great potential to model case-based processes such as emergency response, but cMMN still in its infancy.


Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs
We describe how the declarative Dynamic Condition Response (DCR) Graphs process model can be used for trustworthy adaptive case management by leveraging the flexible execution, dynamic composition
Declarative workflows: Balancing between flexibility and support
This paper will show that using a more declarative approach can assist in a better balance between flexibility and support, by presenting the Declare framework that aims to take care of the full spectrum of flexibility while at the same time supports the user using recommendations and other process-mining-based diagnostics.
Nested Dynamic Condition Response Graphs
An extension of the recently introduced declarative process model Dynamic Condition Response Graphs to allow nested sub-graphs and a new milestone relation between events and formalize the semantics by giving first a map from Nested to (flat) DCR Graphs with milestones, and then extending the previously given mapping to Buchi-automata to include the milestone relation.
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
DCR Graphs are presented as a declarative, event-based process model inspired by the workflow language employed by the industrial partner and conservatively generalizing prime event structures, pointing out their flexibility compared to imperative workflow models.
Exformatics Declarative Case Management Workflows as DCR Graphs
An overview of the tools that have been developed by Exformatics to support working with DCR Graphs are given and their use in capturing requirements of workflows and in a bachelor level course at ITU is evaluated.
Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done
Mastering the Unpredictable by Keith Swenson represents a compendium of expertise in Adaptive Case Management as a revolutionary approach for automating complex dynamic processes and describes models and examples of the professional case management environment and explores the history of case management systems.
Safe Distribution of Declarative Processes
It is proved that for any vector of projections that covers a DCR Graph that the network of synchronously communicating DCRgraphs given by the projections is bisimilar to the original global process graph.
Dynamic Composition of Pervasive Process Fragments
This work provides a solution to automatically compose incomplete and contextual knowledge fragments into complete processes, according to a specific context and specific goals, by encoding process knowledge, domain knowledge and goals into an AI planning problem.
Mixing Paradigms for More Comprehensible Models
The combined approach makes it possible to add a focus on data to declarative languages, and to remove focus from the explicit control-flow from Petri nets for dynamic or abstract processes.