ITU

Deriving Consistent GSM Schemas from DCR Graphs

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

Standard

Deriving Consistent GSM Schemas from DCR Graphs. / Eshuis, Rik; Debois, Søren; Slaats, Tijs; Hildebrandt, Thomas.

International Conference on Service-Oriented Computing: ICSOC 2016: Service-Oriented Computing . Springer Publishing Company, 2016. p. 467–482 (Lecture Notes in Computer Science, Vol. 9936).

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

Harvard

Eshuis, R, Debois, S, Slaats, T & Hildebrandt, T 2016, Deriving Consistent GSM Schemas from DCR Graphs. in International Conference on Service-Oriented Computing: ICSOC 2016: Service-Oriented Computing . Springer Publishing Company, Lecture Notes in Computer Science, vol. 9936, pp. 467–482, International Conference on Service Oriented Computing, Banff, Canada, 11/10/2016. https://doi.org/10.1007/978-3-319-46295-0_29

APA

Eshuis, R., Debois, S., Slaats, T., & Hildebrandt, T. (2016). Deriving Consistent GSM Schemas from DCR Graphs. In International Conference on Service-Oriented Computing: ICSOC 2016: Service-Oriented Computing (pp. 467–482). Springer Publishing Company. Lecture Notes in Computer Science Vol. 9936 https://doi.org/10.1007/978-3-319-46295-0_29

Vancouver

Eshuis R, Debois S, Slaats T, Hildebrandt T. Deriving Consistent GSM Schemas from DCR Graphs. In International Conference on Service-Oriented Computing: ICSOC 2016: Service-Oriented Computing . Springer Publishing Company. 2016. p. 467–482. (Lecture Notes in Computer Science, Vol. 9936). https://doi.org/10.1007/978-3-319-46295-0_29

Author

Eshuis, Rik ; Debois, Søren ; Slaats, Tijs ; Hildebrandt, Thomas. / Deriving Consistent GSM Schemas from DCR Graphs. International Conference on Service-Oriented Computing: ICSOC 2016: Service-Oriented Computing . Springer Publishing Company, 2016. pp. 467–482 (Lecture Notes in Computer Science, Vol. 9936).

Bibtex

@inproceedings{1e9f566ee736400593cad319ba01b0bb,
title = "Deriving Consistent GSM Schemas from DCR Graphs",
abstract = "Case Management (CM) is a BPM technology for supporting flexible services orchestration. CM approaches like CMMN, an OMG standard, and GSM, one of CMMN{\textquoteright}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.",
author = "Rik Eshuis and S{\o}ren Debois and Tijs Slaats and Thomas Hildebrandt",
year = "2016",
doi = "10.1007/978-3-319-46295-0_29",
language = "English",
isbn = "978-3-319-46294-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = " 467–482",
booktitle = "International Conference on Service-Oriented Computing",
address = "United States",
note = "International Conference on Service Oriented Computing, ICSOC ; Conference date: 11-10-2016 Through 13-10-2016",
url = "http://cs.adelaide.edu.au/~icsoc2016/",

}

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 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.

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 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.

U2 - 10.1007/978-3-319-46295-0_29

DO - 10.1007/978-3-319-46295-0_29

M3 - Article in proceedings

SN - 978-3-319-46294-3

T3 - Lecture Notes in Computer Science

SP - 467

EP - 482

BT - International Conference on Service-Oriented Computing

PB - Springer Publishing Company

T2 - International Conference on Service Oriented Computing

Y2 - 11 October 2016 through 13 October 2016

ER -

ID: 81544169