Deriving consistent GSM schemas from DCR graphs
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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.
Originalsprog | Engelsk |
---|---|
Titel | Service-oriented computing : 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings |
Redaktører | Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri |
Antal sider | 16 |
Forlag | Springer |
Publikationsdato | 2016 |
Sider | 467-482 |
ISBN (Trykt) | 978-3-319-46294-3 |
ISBN (Elektronisk) | 978-3-319-46295-0 |
DOI | |
Status | Udgivet - 2016 |
Begivenhed | 14th International Conference on Service-Oriented Computing - Banff, Canada Varighed: 10 okt. 2016 → 13 okt. 2016 Konferencens nummer: 14 |
Konference
Konference | 14th International Conference on Service-Oriented Computing |
---|---|
Nummer | 14 |
Land | Canada |
By | Banff |
Periode | 10/10/2016 → 13/10/2016 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 9936 |
ISSN | 0302-9743 |
ID: 168286787