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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › 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.

Originalsprog	Engelsk
Titel	On the Move to Meaningful Internet Systems
Vol/bind	8186
Forlag	Springer
Publikationsdato	2013
Sider	166-171
ISBN (Trykt)	978-3-642-41032-1
Status	Udgivet - 2013

Navn	Lecture Notes in Computer Science
ISSN	0302-9743

Adgang til dokumentet

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

Citationsformater

Mukkamala, R. R., Hildebrandt, T., Slaats, T., & Marquard, M. (2013). Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management. I On the Move to Meaningful Internet Systems (Bind 8186, s. 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",

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. i On the Move to Meaningful Internet Systems. bind 8186, Springer, Lecture Notes in Computer Science, s. 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. Bind 8186 Springer, 2013. s. 166-171 (Lecture Notes in Computer Science).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › 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

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

Adgang til dokumentet

Fingeraftryk

Citationsformater