Mixing Paradigms for More Comprehensible Models

Michael Westergaard, Tijs Slaats

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiForskningpeer review

Abstrakt

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.
OriginalsprogEngelsk
TitelBusiness Process Management
Antal sider8
Vol/bind8094
ForlagSpringer
Publikationsdato2013
Sider283-290
ISBN (Trykt)978-3-642-40175-6
ISBN (Elektronisk)978-3-642-40176-3
DOI
StatusUdgivet - 2013
BegivenhedInternational Conference on Business Process Management - Xijiao Hotel, Beijing, Kina
Varighed: 26 aug. 201330 aug. 2013
Konferencens nummer: 11
http://bpm2013.tsinghua.edu.cn/

Konference

KonferenceInternational Conference on Business Process Management
Nummer11
LokationXijiao Hotel
Land/OmrådeKina
ByBeijing
Periode26/08/201330/08/2013
Internetadresse

Fingeraftryk

Dyk ned i forskningsemnerne om 'Mixing Paradigms for More Comprehensible Models'. Sammen danner de et unikt fingeraftryk.

Citationsformater