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.
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.
KW - Declare
KW - Hybrid process model
KW - Petri net
KW - Semantics
UR - http://www.scopus.com/inward/record.url?scp=84995920429&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84995920429&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-48472-3_32
DO - 10.1007/978-3-319-48472-3_32
M3 - Conference contribution
AN - SCOPUS:84995920429
SN - 9783319484716
VL - 10033 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 531
EP - 551
BT - On the Move to Meaningful Internet Systems: OTM 2016 Conferences - Confederated International Conferences: CoopIS, CandTC, and ODBASE 2016, Proceedings
PB - Springer - Verlag
T2 - Confederated International Conference On the Move to Meaningful Internet Systems, OTM 2016 held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2016
Y2 - 24 October 2016 through 28 October 2016
ER -
