Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management

Raghava Rao Mukkamala, Thomas Hildebrandt, Tijs Slaats, Morten Marquard

Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review


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 we discuss the planned future work,
which will aim to allow changes to be tested for conformance wrt policies specified
either as linear time logic (LTL) or DCR Graphs, extend the language with
time and data and offer extended support for cross-organizational case management
Original languageEnglish
Title of host publicationOn the Move to Meaningful Internet Systems
Publication date2013
ISBN (Print)978-3-642-41032-1
Publication statusPublished - 2013
SeriesLecture Notes in Computer Science


  • Adaptive Case Management
  • Dynamic Business Processes
  • Declarative Workflows


Dive into the research topics of 'Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management'. Together they form a unique fingerprint.

Cite this