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… 

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.

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

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.

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.

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.

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



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.

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.

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.

Compliance Aware Business Process Design

This paper presents a support method which allows the process designer to quantitatively measure the compliance degree of a given process model against a set of control objectives, which will allow process designers to comparatively assess the Compliance degree of their design as well as be better informed on the cost of non-compliance.

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.

Towards a System Support of Collaborative Knowledge Work

This paper structures collaborative knowledge work and presents its characteristics and dimensions, and introduces a lifecycle methodology to support collaborative knowledge workers holistically.