The semantics of hybrid process models

Tijs Slaats; Dennis M. M. Schunselaar; Fabrizio M. Maggi; Hajo A. Reijers

doi:10.1007/978-3-319-48472-3_32

The semantics of hybrid process models

Tijs Slaats, Dennis M. M. Schunselaar, Fabrizio M. Maggi, Hajo A. Reijers

Datalogisk Institut

16 Citationer (Scopus)

126 Downloads (Pure)

Abstract

In the area of business process modelling, declarative notations have been proposed as alternatives to notations that follow the dominant, imperative paradigm. Yet, the choice between an imperative or declarative style of modelling is not always easy to make. Instead, a mixture of these styles is sometimes preferable. This observation has underpinned recent calls for so-called hybrid process modelling notations. In this paper, we present a formal semantics for these. In our proposal, a hybrid process model is hierarchical, where each of its sub-processes may be specified in either an imperative or declarative fashion. The semantics we provide will allow modelling communities to build on the benefits of existing imperative and declarative modelling notations, instead of spending their energy on inventing new ones.

Originalsprog	Engelsk
Titel	On the move to meaningful internet systems: OTM 2016 conferences : confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings
Redaktører	Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, Eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna
Antal sider	21
Forlag	Springer
Publikationsdato	2016
Sider	531-551
ISBN (Trykt)	978-3-319-48471-6
ISBN (Elektronisk)	978-3-319-48472-3
DOI	https://doi.org/10.1007/978-3-319-48472-3_32
Status	Udgivet - 2016
Begivenhed	24rd International Conference on Cooperative Information Systems - Rhodos, Grækenland Varighed: 24 okt. 2016 → 28 okt. 2016 Konferencens nummer: 24

Konference

Konference	24rd International Conference on Cooperative Information Systems
Nummer	24
Land/Område	Grækenland
By	Rhodos
Periode	24/10/2016 → 28/10/2016

Adgang til dokumentet

10.1007/978-3-319-48472-3_32

The Semantics of Hybrid Process ModelsAccepteret manuskript, 425 KB

Citationsformater

Slaats, T., Schunselaar, D. M. M., Maggi, F. M., & Reijers, H. A. (2016). The semantics of hybrid process models. I C. Debruyne, H. Panetto, R. Meersman, T. Dillon, E. Kühn, D. O'Sullivan, & C. A. Ardagna (red.), On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings (s. 531-551). Springer. https://doi.org/10.1007/978-3-319-48472-3_32

The semantics of hybrid process models. / Slaats, Tijs; Schunselaar, Dennis M. M.; Maggi, Fabrizio M. et al.

On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. red. / Christophe Debruyne; Hervé Panetto; Robert Meersman; Tharam Dillon; Eva Kühn; Declan O'Sullivan; Claudio Agostino Ardagna. Springer, 2016. s. 531-551.

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Slaats, T, Schunselaar, DMM, Maggi, FM & Reijers, HA 2016, The semantics of hybrid process models. i C Debruyne, H Panetto, R Meersman, T Dillon, E Kühn, D O'Sullivan & CA Ardagna (red), On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Springer, s. 531-551, 24rd International Conference on Cooperative Information Systems, Rhodos, Grækenland, 24/10/2016. https://doi.org/10.1007/978-3-319-48472-3_32

Slaats T, Schunselaar DMM, Maggi FM, Reijers HA. The semantics of hybrid process models. I Debruyne C, Panetto H, Meersman R, Dillon T, Kühn E, O'Sullivan D, Ardagna CA, red., On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Springer. 2016. s. 531-551 doi: 10.1007/978-3-319-48472-3_32

Slaats, Tijs ; Schunselaar, Dennis M. M. ; Maggi, Fabrizio M. et al. / The semantics of hybrid process models. On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. red. / Christophe Debruyne ; Hervé Panetto ; Robert Meersman ; Tharam Dillon ; Eva Kühn ; Declan O'Sullivan ; Claudio Agostino Ardagna. Springer, 2016. s. 531-551

@inproceedings{4e39b11021374abcaa99278b0e29143d,

title = "The semantics of hybrid process models",

abstract = "In the area of business process modelling, declarative notations have been proposed as alternatives to notations that follow the dominant, imperative paradigm. Yet, the choice between an imperative or declarative style of modelling is not always easy to make. Instead, a mixture of these styles is sometimes preferable. This observation has underpinned recent calls for so-called hybrid process modelling notations. In this paper, we present a formal semantics for these. In our proposal, a hybrid process model is hierarchical, where each of its sub-processes may be specified in either an imperative or declarative fashion. The semantics we provide will allow modelling communities to build on the benefits of existing imperative and declarative modelling notations, instead of spending their energy on inventing new ones.",

author = "Tijs Slaats and Schunselaar, {Dennis M. M.} and Maggi, {Fabrizio M.} and Reijers, {Hajo A.}",

year = "2016",

doi = "10.1007/978-3-319-48472-3_32",

language = "English",

isbn = "978-3-319-48471-6",

pages = "531--551",

editor = "Christophe Debruyne and Herv{\'e} Panetto and Robert Meersman and Tharam Dillon and Eva K{\"u}hn and Declan O'Sullivan and Ardagna, {Claudio Agostino}",

booktitle = "On the move to meaningful internet systems: OTM 2016 conferences",

publisher = "Springer",

note = "24rd International Conference on Cooperative Information Systems ; Conference date: 24-10-2016 Through 28-10-2016",

}

TY - GEN

T1 - The semantics of hybrid process models

AU - Slaats, Tijs

AU - Schunselaar, Dennis M. M.

AU - Maggi, Fabrizio M.

AU - Reijers, Hajo A.

N1 - Conference code: 24

PY - 2016

Y1 - 2016

N2 - In the area of business process modelling, declarative notations have been proposed as alternatives to notations that follow the dominant, imperative paradigm. Yet, the choice between an imperative or declarative style of modelling is not always easy to make. Instead, a mixture of these styles is sometimes preferable. This observation has underpinned recent calls for so-called hybrid process modelling notations. In this paper, we present a formal semantics for these. In our proposal, a hybrid process model is hierarchical, where each of its sub-processes may be specified in either an imperative or declarative fashion. The semantics we provide will allow modelling communities to build on the benefits of existing imperative and declarative modelling notations, instead of spending their energy on inventing new ones.

AB - In the area of business process modelling, declarative notations have been proposed as alternatives to notations that follow the dominant, imperative paradigm. Yet, the choice between an imperative or declarative style of modelling is not always easy to make. Instead, a mixture of these styles is sometimes preferable. This observation has underpinned recent calls for so-called hybrid process modelling notations. In this paper, we present a formal semantics for these. In our proposal, a hybrid process model is hierarchical, where each of its sub-processes may be specified in either an imperative or declarative fashion. The semantics we provide will allow modelling communities to build on the benefits of existing imperative and declarative modelling notations, instead of spending their energy on inventing new ones.

U2 - 10.1007/978-3-319-48472-3_32

DO - 10.1007/978-3-319-48472-3_32

M3 - Article in proceedings

SN - 978-3-319-48471-6

SP - 531

EP - 551

BT - On the move to meaningful internet systems: OTM 2016 conferences

A2 - Debruyne, Christophe

A2 - Panetto, Hervé

A2 - Meersman, Robert

A2 - Dillon, Tharam

A2 - Kühn, Eva

A2 - O'Sullivan, Declan

A2 - Ardagna, Claudio Agostino

PB - Springer

T2 - 24rd International Conference on Cooperative Information Systems

Y2 - 24 October 2016 through 28 October 2016

ER -

The semantics of hybrid process models

Abstract

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater