Mixing paradigms for more comprehensible models

Michael Westergaard; Tijs Slaats

doi:10.1007/978-3-642-40176-3_24

Mixing paradigms for more comprehensible models

Michael Westergaard, Tijs Slaats

26 Citations (Scopus)

Abstract

Petri nets efficiently model both data- and control-flow. Control-flow is either modeled explicitly as flow of a specific kind of data, or implicit based on the data-flow. Explicit modeling of control-flow is useful for well-known and highly structured processes, but may make modeling of abstract features of models, or processes which are highly dynamic, overly complex. Declarative modeling, such as is supported by Declare and DCR graphs, focus on control-flow, but does not specify it explicitly; instead specifications come in the form of constraints on the order or appearance of tasks. In this paper we propose a combination of the two, using colored Petri nets instead of plain Petri nets to provide full data support. The combined approach makes it possible to add a focus on data to declarative languages, and to remove focus from the explicit control-flow from Petri nets for dynamic or abstract processes. In addition to enriching both procedural processes in the form of Petri nets and declarative processes, we also support a flow from modeling only abstract data- and control-flow of a model towards a more explicit control-flow model if so desired. We define our combined approach, and provide considerations necessary for enactment. Our approach has been implemented in CPN Tools 4.

Original language	Undefined/Unknown
Title of host publication	Business Process Management : 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings
Editors	Florian Daniel, Jianmin Wang, Barbara Weber
Number of pages	8
Publisher	Springer
Publication date	2013
Pages	283-290
ISBN (Print)	978-3-642-40175-6
ISBN (Electronic)	978-3-642-40176-3
DOIs	https://doi.org/10.1007/978-3-642-40176-3_24
Publication status	Published - 2013
Externally published	Yes
Event	11th International Conference on Business Process Management - Beijing, China Duration: 26 Aug 2013 → 30 Aug 2013 Conference number: 11

Conference

Conference	11th International Conference on Business Process Management
Number	11
Country/Territory	China
City	Beijing
Period	26/08/2013 → 30/08/2013

Series	Lecture notes in computer science
Volume	8094
ISSN	0302-9743

Access to Document

10.1007/978-3-642-40176-3_24

Cite this

Mixing paradigms for more comprehensible models. / Westergaard, Michael; Slaats, Tijs.

Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. ed. / Florian Daniel; Jianmin Wang; Barbara Weber. Springer, 2013. p. 283-290 (Lecture notes in computer science, Vol. 8094).

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

Westergaard, M & Slaats, T 2013, Mixing paradigms for more comprehensible models. in F Daniel, J Wang & B Weber (eds), Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. Springer, Lecture notes in computer science, vol. 8094, pp. 283-290, 11th International Conference on Business Process Management, Beijing, China, 26/08/2013. https://doi.org/10.1007/978-3-642-40176-3_24

@inbook{d3ec30280f6c41b1bcac74d92aeac7c9,

title = "Mixing paradigms for more comprehensible models",

abstract = "Petri nets efficiently model both data- and control-flow. Control-flow is either modeled explicitly as flow of a specific kind of data, or implicit based on the data-flow. Explicit modeling of control-flow is useful for well-known and highly structured processes, but may make modeling of abstract features of models, or processes which are highly dynamic, overly complex. Declarative modeling, such as is supported by Declare and DCR graphs, focus on control-flow, but does not specify it explicitly; instead specifications come in the form of constraints on the order or appearance of tasks. In this paper we propose a combination of the two, using colored Petri nets instead of plain Petri nets to provide full data support. The combined approach makes it possible to add a focus on data to declarative languages, and to remove focus from the explicit control-flow from Petri nets for dynamic or abstract processes. In addition to enriching both procedural processes in the form of Petri nets and declarative processes, we also support a flow from modeling only abstract data- and control-flow of a model towards a more explicit control-flow model if so desired. We define our combined approach, and provide considerations necessary for enactment. Our approach has been implemented in CPN Tools 4.",

author = "Michael Westergaard and Tijs Slaats",

year = "2013",

doi = "10.1007/978-3-642-40176-3_24",

language = "Udefineret/Ukendt",

isbn = "978-3-642-40175-6",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "283--290",

editor = "Florian Daniel and Jianmin Wang and Barbara Weber",

booktitle = "Business Process Management",

note = "11th International Conference on Business Process Management ; Conference date: 26-08-2013 Through 30-08-2013",

}

TY - CHAP

T1 - Mixing paradigms for more comprehensible models

AU - Westergaard, Michael

AU - Slaats, Tijs

N1 - Conference code: 11

PY - 2013

Y1 - 2013

N2 - Petri nets efficiently model both data- and control-flow. Control-flow is either modeled explicitly as flow of a specific kind of data, or implicit based on the data-flow. Explicit modeling of control-flow is useful for well-known and highly structured processes, but may make modeling of abstract features of models, or processes which are highly dynamic, overly complex. Declarative modeling, such as is supported by Declare and DCR graphs, focus on control-flow, but does not specify it explicitly; instead specifications come in the form of constraints on the order or appearance of tasks. In this paper we propose a combination of the two, using colored Petri nets instead of plain Petri nets to provide full data support. The combined approach makes it possible to add a focus on data to declarative languages, and to remove focus from the explicit control-flow from Petri nets for dynamic or abstract processes. In addition to enriching both procedural processes in the form of Petri nets and declarative processes, we also support a flow from modeling only abstract data- and control-flow of a model towards a more explicit control-flow model if so desired. We define our combined approach, and provide considerations necessary for enactment. Our approach has been implemented in CPN Tools 4.

AB - Petri nets efficiently model both data- and control-flow. Control-flow is either modeled explicitly as flow of a specific kind of data, or implicit based on the data-flow. Explicit modeling of control-flow is useful for well-known and highly structured processes, but may make modeling of abstract features of models, or processes which are highly dynamic, overly complex. Declarative modeling, such as is supported by Declare and DCR graphs, focus on control-flow, but does not specify it explicitly; instead specifications come in the form of constraints on the order or appearance of tasks. In this paper we propose a combination of the two, using colored Petri nets instead of plain Petri nets to provide full data support. The combined approach makes it possible to add a focus on data to declarative languages, and to remove focus from the explicit control-flow from Petri nets for dynamic or abstract processes. In addition to enriching both procedural processes in the form of Petri nets and declarative processes, we also support a flow from modeling only abstract data- and control-flow of a model towards a more explicit control-flow model if so desired. We define our combined approach, and provide considerations necessary for enactment. Our approach has been implemented in CPN Tools 4.

U2 - 10.1007/978-3-642-40176-3_24

DO - 10.1007/978-3-642-40176-3_24

M3 - Bidrag til bog/antologi

SN - 978-3-642-40175-6

T3 - Lecture notes in computer science

SP - 283

EP - 290

BT - Business Process Management

A2 - Daniel, Florian

A2 - Wang, Jianmin

A2 - Weber, Barbara

PB - Springer

T2 - 11th International Conference on Business Process Management

Y2 - 26 August 2013 through 30 August 2013

ER -