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 Citationer (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.

Originalsprog	Engelsk
Titel	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
Redaktører	Yan Tang Demey, Hervé Panetto
Antal sider	6
Forlag	Springer
Publikationsdato	2013
Sider	166-171
ISBN (Trykt)	978-3-642-41032-1
ISBN (Elektronisk)	978-3-642-41033-8
DOI	https://doi.org/10.1007/978-3-642-41033-8_23
Status	Udgivet - 2013
Udgivet eksternt	Ja
Begivenhed	On the Move to Meaningful Internet Systems Workshops - Graz, Østrig Varighed: 9 sep. 2013 → 13 sep. 2013

Konference

Konference	On the Move to Meaningful Internet Systems Workshops
Land/Område	Østrig
By	Graz
Periode	09/09/2013 → 13/09/2013

Navn	Lecture notes in computer science
Vol/bind	8186
ISSN	0302-9743

Adgang til dokumentet

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

Citationsformater

Hildebrandt, T., Marquard, M., Mukkamala, R. R., & Slaats, T. (2013). Dynamic condition response graphs for trustworthy adaptive case management. I Y. T. Demey, & H. Panetto (red.), 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 (s. 166-171). Springer. 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. red. / Yan Tang Demey; Hervé Panetto. Springer, 2013. s. 166-171 (Lecture notes in computer science, Bind 8186).

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

Hildebrandt, T, Marquard, M, Mukkamala, RR & Slaats, T 2013, Dynamic condition response graphs for trustworthy adaptive case management. i YT Demey & H Panetto (red), 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, bind 8186, s. 166-171, On the Move to Meaningful Internet Systems Workshops, Graz, Østrig, 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. I Demey YT, Panetto H, red., 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. s. 166-171. (Lecture notes in computer science, Bind 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. red. / Yan Tang Demey ; Hervé Panetto. Springer, 2013. s. 166-171 (Lecture notes in computer science, Bind 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

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater