Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management

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

Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management

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

Programming Logic and Semantics

Exformatics

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

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.

Original language	English
Title of host publication	On the Move to Meaningful Internet Systems
Volume	8186
Publisher	Springer
Publication date	2013
Pages	166-171
ISBN (Print)	978-3-642-41032-1
Publication status	Published - 2013

Series	Lecture Notes in Computer Science
ISSN	0302-9743

Keywords

Adaptive Case Management
Dynamic Business Processes
Declarative Workflows

Access to Document

http://download.springer.com/static/pdf/705/chp%253A10.1007%252F978-3-642-41033-8_23.pdf?auth66=1387556746_487f3eb4053c2edf94e3eabd925d111a&ext=.pdf

Cite this

Mukkamala, R. R., Hildebrandt, T., Slaats, T., & Marquard, M. (2013). Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management. In On the Move to Meaningful Internet Systems (Vol. 8186, pp. 166-171). Springer. http://download.springer.com/static/pdf/705/chp%253A10.1007%252F978-3-642-41033-8_23.pdf?auth66=1387556746_487f3eb4053c2edf94e3eabd925d111a&ext=.pdf

@inbook{5eb2a334ce064f07a70a75f418ce42d3,

title = "Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management",

abstract = "By trustworthy adaptive case management we mean that it should bepossible to adapt processes and goals at runtime while guaranteeing that no deadlocks and livelocks are introduced. We propose to support this by applying aformal declarative process model, DCR Graphs, and exemplify its operational semantics that supports both run time changes and formal verification. We showhow these techniques are being implemented in industry as a component of theExformatics case management tools. Finally we discuss the planned future work,which will aim to allow changes to be tested for conformance wrt policies specifiedeither as linear time logic (LTL) or DCR Graphs, extend the language withtime and data and offer extended support for cross-organizational case managementsystems.",

keywords = "Adaptive Case Management, Dynamic Business Processes, Declarative Workflows, Adaptive Case Management, Dynamic Business Processes, Declarative Workflows",

author = "Mukkamala, {Raghava Rao} and Thomas Hildebrandt and Tijs Slaats and Morten Marquard",

year = "2013",

language = "English",

isbn = "978-3-642-41032-1",

volume = "8186",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "166--171",

booktitle = "On the Move to Meaningful Internet Systems",

address = "Germany",

}

Mukkamala, RR, Hildebrandt, T, Slaats, T & Marquard, M 2013, Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management. in On the Move to Meaningful Internet Systems. vol. 8186, Springer, Lecture Notes in Computer Science, pp. 166-171. <http://download.springer.com/static/pdf/705/chp%253A10.1007%252F978-3-642-41033-8_23.pdf?auth66=1387556746_487f3eb4053c2edf94e3eabd925d111a&ext=.pdf>

Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management. / Mukkamala, Raghava Rao; Hildebrandt, Thomas; Slaats, Tijs et al.
On the Move to Meaningful Internet Systems. Vol. 8186 Springer, 2013. p. 166-171 (Lecture Notes in Computer Science).

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

TY - CHAP

T1 - Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management

AU - Mukkamala, Raghava Rao

AU - Hildebrandt, Thomas

AU - Slaats, Tijs

AU - Marquard, Morten

PY - 2013

Y1 - 2013

N2 - By trustworthy adaptive case management we mean that it should bepossible to adapt processes and goals at runtime while guaranteeing that no deadlocks and livelocks are introduced. We propose to support this by applying aformal declarative process model, DCR Graphs, and exemplify its operational semantics that supports both run time changes and formal verification. We showhow these techniques are being implemented in industry as a component of theExformatics case management tools. Finally we discuss the planned future work,which will aim to allow changes to be tested for conformance wrt policies specifiedeither as linear time logic (LTL) or DCR Graphs, extend the language withtime and data and offer extended support for cross-organizational case managementsystems.

AB - By trustworthy adaptive case management we mean that it should bepossible to adapt processes and goals at runtime while guaranteeing that no deadlocks and livelocks are introduced. We propose to support this by applying aformal declarative process model, DCR Graphs, and exemplify its operational semantics that supports both run time changes and formal verification. We showhow these techniques are being implemented in industry as a component of theExformatics case management tools. Finally we discuss the planned future work,which will aim to allow changes to be tested for conformance wrt policies specifiedeither as linear time logic (LTL) or DCR Graphs, extend the language withtime and data and offer extended support for cross-organizational case managementsystems.

KW - Adaptive Case Management

KW - Dynamic Business Processes

KW - Declarative Workflows

KW - Adaptive Case Management

KW - Dynamic Business Processes

KW - Declarative Workflows

M3 - Book chapter

SN - 978-3-642-41032-1

VL - 8186

T3 - Lecture Notes in Computer Science

SP - 166

EP - 171

BT - On the Move to Meaningful Internet Systems

PB - Springer

ER -

Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management

Abstract

Keywords

Access to Document

Fingerprint

Cite this