Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management
- Raghava Rao Mukkamala,
- ,
- Tijs Slaats,
- Morten Marquard
- ,
- ,
- Exformatics
Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 166-171Publication milestones
- Published - 2013
Publication status
Published - 2013
Volume
8186Publisher
Springer, United States, GermanyBook series
- Book series name: Lecture Notes in Computer Science
ISSN: 0302-9743
ISBN (Print)
978-3-642-41032-1Publication IDs
- Scopus: 84886740736
Host publication title
On the Move to Meaningful Internet SystemsAbstract
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.
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.
Publication metrics
PlumX
Citations
9
Captures
13