Deriving consistent GSM schemas from DCR graphs
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Deriving consistent GSM schemas from DCR graphs. / Eshuis, Rik; Debois, Søren; Slaats, Tijs; Hildebrandt, Thomas.
Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. red. / Quan Z. Sheng; Eleni Stroulia; Samir Tata; Sami Bhiri. Springer, 2016. s. 467-482 (Lecture notes in computer science, Bind 9936).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - GEN
T1 - Deriving consistent GSM schemas from DCR graphs
AU - Eshuis, Rik
AU - Debois, Søren
AU - Slaats, Tijs
AU - Hildebrandt, Thomas
N1 - Conference code: 14
PY - 2016
Y1 - 2016
N2 - Case Management (CM) is a BPM technology for supporting flexible services orchestration. CM approaches like CMMN, an OMG standard, and GSM, one of CMMN’s core influences, use Event- Condition-Action rules, which can be inconsistent due to cyclic interdependencies between the rules; repairing such an inconsistent case management schema is difficult. To avoid the problem of inconsistencies altogether, we provide a technique for automatically deriving consistent GSM case management schemas from higher-level business policies defined as DCR graphs, an alternative CM approach. Concretely, we define a behaviour-preserving mapping that (1) removes the burden from the modeller of GSM schemas to prove consistency and define the ordering of rules, (2) provides high-level patterns for modelling GSM schemas, and (3) gives a way to define a notion of progress (liveness) and acceptance for GSM instances. The mapping is illustrated by a running example of a mortgage loan application; and a prototype implementation available at http://dcr.itu.dk/icsoc16.
AB - Case Management (CM) is a BPM technology for supporting flexible services orchestration. CM approaches like CMMN, an OMG standard, and GSM, one of CMMN’s core influences, use Event- Condition-Action rules, which can be inconsistent due to cyclic interdependencies between the rules; repairing such an inconsistent case management schema is difficult. To avoid the problem of inconsistencies altogether, we provide a technique for automatically deriving consistent GSM case management schemas from higher-level business policies defined as DCR graphs, an alternative CM approach. Concretely, we define a behaviour-preserving mapping that (1) removes the burden from the modeller of GSM schemas to prove consistency and define the ordering of rules, (2) provides high-level patterns for modelling GSM schemas, and (3) gives a way to define a notion of progress (liveness) and acceptance for GSM instances. The mapping is illustrated by a running example of a mortgage loan application; and a prototype implementation available at http://dcr.itu.dk/icsoc16.
U2 - 10.1007/978-3-319-46295-0_29
DO - 10.1007/978-3-319-46295-0_29
M3 - Article in proceedings
AN - SCOPUS:84989298051
SN - 978-3-319-46294-3
T3 - Lecture notes in computer science
SP - 467
EP - 482
BT - Service-oriented computing
A2 - Sheng, Quan Z.
A2 - Stroulia, Eleni
A2 - Tata, Samir
A2 - Bhiri, Sami
PB - Springer
T2 - 14th International Conference on Service-Oriented Computing
Y2 - 10 October 2016 through 13 October 2016
ER -
ID: 168286787