Deriving Consistent GSM Schemas from DCR Graphs

Rik Eshuis, Søren Debois, Tijs Slaats, Thomas Hildebrandt

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


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
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
Publication statusPublished - 2016
EventInternational Conference on Service Oriented Computing - The Banff Centre, Banff, Canada
Duration: 11 Oct 201613 Oct 2016
Conference number: 14


ConferenceInternational Conference on Service Oriented Computing
LocationThe Banff Centre
Internet address
SeriesLecture Notes in Computer Science


Dive into the research topics of 'Deriving Consistent GSM Schemas from DCR Graphs'. Together they form a unique fingerprint.

Cite this