ITU

Deriving Consistent GSM Schemas from DCR Graphs

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

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 inter-dependencies 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.
Original languageEnglish
Title of host publicationInternational Conference on Service-Oriented Computing : ICSOC 2016: Service-Oriented Computing
PublisherSpringer Publishing Company
Publication date2016
Pages 467–482
ISBN (Print)978-3-319-46294-3
ISBN (Electronic)978-3-319-46295-0
DOIs
Publication statusPublished - 2016
EventInternational Conference on Service Oriented Computing - The Banff Centre, Banff, Canada
Duration: 11 Oct 201613 Oct 2016
Conference number: 14
http://cs.adelaide.edu.au/~icsoc2016/

Conference

ConferenceInternational Conference on Service Oriented Computing
Nummer14
LocationThe Banff Centre
LandCanada
ByBanff
Periode11/10/201613/10/2016
Internetadresse
SeriesLecture Notes in Computer Science
Volume9936
ISSN0302-9743

Downloads

No data available

ID: 81544169