OTM 2013 - LNCS 8185-8186

Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management

Thomas Hildebrandt¹, Morten Marquard², Raghava Rao Mukkamala¹, and Tijs Slaats^{1, 2}

¹IT University of Copenhagen, Rued Langgaardsvej 7 2300, Copenhagen, Denmark
hilde@itu.dk
rao@itu.dk
tslaats@itu.dk
http://www.itu.dk

²Exformatics A/S, Lautrupsgade 13 2100, Copenhagen, Denmark
mmq@exformatics.com
http://www.exformatics.com

Abstract. 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 systems.

LNCS 8186, p. 166 ff.

Full article in PDF | BibTeX