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

^*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

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, CandTC, and ODBASE 2016, Proceedings
Publisher	Springer - Verlag
Pages	531-551
Number of pages	21
Volume	10033 LNCS
ISBN (Print)	9783319484716
DOIs	https://doi.org/10.1007/978-3-319-48472-3_32
Publication status	Published - 2016
Event	Confederated International Conference On the Move to Meaningful Internet Systems, OTM 2016 held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2016 - Rhodes, Greece Duration: 24 Oct 2016 → 28 Oct 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10033 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	Confederated International Conference On the Move to Meaningful Internet Systems, OTM 2016 held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2016
Country/Territory	Greece
City	Rhodes
Period	24/10/16 → 28/10/16

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 7 Affordable and Clean Energy

Keywords

Declare
Hybrid process model
Petri net
Semantics

Access to Document

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

Persistent URL (handle)

Persistent link

Cite this

Slaats, T., Schunselaar, D. M. M., Maggi, F. M., & Reijers, H. A. (2016). The semantics of hybrid process models. In On the Move to Meaningful Internet Systems: OTM 2016 Conferences - Confederated International Conferences: CoopIS, CandTC, and ODBASE 2016, Proceedings (Vol. 10033 LNCS, pp. 531-551). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10033 LNCS). Springer - Verlag. https://doi.org/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, CandTC, and ODBASE 2016, Proceedings. Vol. 10033 LNCS Springer - Verlag, 2016. pp. 531-551 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b11ba6ac0e804a46a21e329ea48edca1,

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

keywords = "Declare, Hybrid process model, Petri net, Semantics",

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 = "9783319484716",

volume = "10033 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer - Verlag",

pages = "531--551",

booktitle = "On the Move to Meaningful Internet Systems: OTM 2016 Conferences - Confederated International Conferences: CoopIS, CandTC, and ODBASE 2016, Proceedings",

note = "Confederated International Conference On the Move to Meaningful Internet Systems, OTM 2016 held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2016 ; Conference date: 24-10-2016 Through 28-10-2016",

}

Slaats, T, Schunselaar, DMM, Maggi, FM & Reijers, HA 2016, The semantics of hybrid process models. in On the Move to Meaningful Internet Systems: OTM 2016 Conferences - Confederated International Conferences: CoopIS, CandTC, and ODBASE 2016, Proceedings. vol. 10033 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10033 LNCS, Springer - Verlag, pp. 531-551, Confederated International Conference On the Move to Meaningful Internet Systems, OTM 2016 held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2016, Rhodes, Greece, 24/10/16. 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, CandTC, and ODBASE 2016, Proceedings. Vol. 10033 LNCS Springer - Verlag, 2016. p. 531-551 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10033 LNCS).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

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 - https://www.scopus.com/pages/publications/84995920429

UR - https://www.scopus.com/pages/publications/84995920429#tab=citedBy

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 -

Slaats T, Schunselaar DMM, Maggi FM, Reijers HA. The semantics of hybrid process models. In On the Move to Meaningful Internet Systems: OTM 2016 Conferences - Confederated International Conferences: CoopIS, CandTC, and ODBASE 2016, Proceedings. Vol. 10033 LNCS. Springer - Verlag. 2016. p. 531-551. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-48472-3_32

The semantics of hybrid process models

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this