Dynamic condition response graphs for trustworthy adaptive case management

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

doi:10.1007/978-3-642-41033-8_23

Dynamic condition response graphs for trustworthy adaptive case management

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

6 Citations (Scopus)

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: OTM 2013 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings
Editors	Yan Tang Demey, Hervé Panetto
Number of pages	6
Publisher	Springer
Publication date	2013
Pages	166-171
ISBN (Print)	978-3-642-41032-1
ISBN (Electronic)	978-3-642-41033-8
DOIs	https://doi.org/10.1007/978-3-642-41033-8_23
Publication status	Published - 2013
Externally published	Yes
Event	On the Move to Meaningful Internet Systems Workshops - Graz, Austria Duration: 9 Sept 2013 → 13 Sept 2013

Conference

Conference	On the Move to Meaningful Internet Systems Workshops
Country/Territory	Austria
City	Graz
Period	09/09/2013 → 13/09/2013

Series	Lecture notes in computer science
Volume	8186
ISSN	0302-9743

Access to Document

10.1007/978-3-642-41033-8_23

Cite this

Hildebrandt, T., Marquard, M., Mukkamala, R. R., & Slaats, T. (2013). Dynamic condition response graphs for trustworthy adaptive case management. In Y. T. Demey, & H. Panetto (Eds.), On the Move to Meaningful Internet Systems: OTM 2013 Workshops: Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings (pp. 166-171). Springer. Lecture notes in computer science Vol. 8186 https://doi.org/10.1007/978-3-642-41033-8_23

Dynamic condition response graphs for trustworthy adaptive case management. / Hildebrandt, Thomas; Marquard, Morten; Mukkamala, Raghava Rao et al.

On the Move to Meaningful Internet Systems: OTM 2013 Workshops: Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings. ed. / Yan Tang Demey; Hervé Panetto. Springer, 2013. p. 166-171 (Lecture notes in computer science, Vol. 8186).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Hildebrandt, T, Marquard, M, Mukkamala, RR & Slaats, T 2013, Dynamic condition response graphs for trustworthy adaptive case management. in YT Demey & H Panetto (eds), On the Move to Meaningful Internet Systems: OTM 2013 Workshops: Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings. Springer, Lecture notes in computer science, vol. 8186, pp. 166-171, On the Move to Meaningful Internet Systems Workshops, Graz, Austria, 09/09/2013. https://doi.org/10.1007/978-3-642-41033-8_23

Hildebrandt T, Marquard M, Mukkamala RR, Slaats T. Dynamic condition response graphs for trustworthy adaptive case management. In Demey YT, Panetto H, editors, On the Move to Meaningful Internet Systems: OTM 2013 Workshops: Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings. Springer. 2013. p. 166-171. (Lecture notes in computer science, Vol. 8186). doi: 10.1007/978-3-642-41033-8_23

Hildebrandt, Thomas ; Marquard, Morten ; Mukkamala, Raghava Rao et al. / Dynamic condition response graphs for trustworthy adaptive case management. On the Move to Meaningful Internet Systems: OTM 2013 Workshops: Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings. editor / Yan Tang Demey ; Hervé Panetto. Springer, 2013. pp. 166-171 (Lecture notes in computer science, Vol. 8186).

@inbook{b6f92b8262264b70ad6721f9628ca3cd,

title = "Dynamic condition response graphs for trustworthy adaptive case management",

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.",

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

year = "2013",

doi = "10.1007/978-3-642-41033-8_23",

language = "English",

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

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "166--171",

editor = "Demey, {Yan Tang} and Herv{\'e} Panetto",

booktitle = "On the Move to Meaningful Internet Systems: OTM 2013 Workshops",

note = "On the Move to Meaningful Internet Systems Workshops ; Conference date: 09-09-2013 Through 13-09-2013",

}

TY - CHAP

T1 - Dynamic condition response graphs for trustworthy adaptive case management

AU - Hildebrandt, Thomas

AU - Marquard, Morten

AU - Mukkamala, Raghava Rao

AU - Slaats, Tijs

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-41033-8_23

DO - 10.1007/978-3-642-41033-8_23

M3 - Book chapter

SN - 978-3-642-41032-1

T3 - Lecture notes in computer science

SP - 166

EP - 171

BT - On the Move to Meaningful Internet Systems: OTM 2013 Workshops

A2 - Demey, Yan Tang

A2 - Panetto, Hervé

PB - Springer

T2 - On the Move to Meaningful Internet Systems Workshops

Y2 - 9 September 2013 through 13 September 2013

ER -

Dynamic condition response graphs for trustworthy adaptive case management

Abstract

Conference

Access to Document

Fingerprint

Cite this