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.
| Original language | English |
|---|---|
| Title of host publication | 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 |
| Editors | Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, Eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna |
| Number of pages | 21 |
| Publisher | Springer |
| Publication date | 2016 |
| Pages | 531-551 |
| ISBN (Print) | 978-3-319-48471-6 |
| ISBN (Electronic) | 978-3-319-48472-3 |
| DOIs | |
| Publication status | Published - 2016 |
| Event | 24rd International Conference on Cooperative Information Systems - Rhodos, Greece Duration: 24 Oct 2016 → 28 Oct 2016 Conference number: 24 |
Conference
| Conference | 24rd International Conference on Cooperative Information Systems |
|---|---|
| Number | 24 |
| Country/Territory | Greece |
| City | Rhodos |
| Period | 24/10/2016 → 28/10/2016 |