Bhiri, Sami

Debois, S.

Eshuis, R.

Hildebrandt, T.

Sheng, Quan Z.

Slaats, T.

Stroulia, Eleni

Tata, Samir

Rik Eshuis

Søren Debois

Tijs Slaats

Thomas Hildebrandt

Crossref

Deriving Consistent GSM Schemas from DCR Graphs

Eshuis, Rik

Debois, Søren

Slaats, Tijs

Hildebrandt, Thomas

Copenhagen University Research Information System

Deriving consistent GSM schemas from DCR graphs

Pure OAI Repository

NARCIS 

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

The IT University of Copenhagen's Repository

Deriving Consistent GSM Schemas from DCR Graphs

Abstract

Similar works

Full text

Available Versions

Crossref

Copenhagen University Research Information System

Pure OAI Repository

NARCIS

The IT University of Copenhagen's Repository

Pure OAI Repository