Maximal structuring of acyclic process models
- This article addresses the transformation of a process model with an arbitrary topology into an equivalent structured process model. In particular, this article studies the subclass of process models that have no equivalent well-structured representation but which, nevertheless, can be partially structured into their maximally-structured representation. The transformations are performed under a behavioral equivalence notion that preserves the observed concurrency of tasks in equivalent process models. The article gives a full characterization of the subclass of acyclic process models that have no equivalent well-structured representation, but do have an equivalent maximally-structured one, as well as proposes a complete structuring method. Together with our previous results, this article completes the solution of the process model structuring problem for the class of acyclic process models.
Verfasserangaben: | Artem Polyvyanyy, Luciano Garcia-Banuelos, Dirk Fahland, Mathias WeskeORCiDGND |
---|---|
DOI: | https://doi.org/10.1093/comjnl/bxs126 |
ISSN: | 0010-4620 |
ISSN: | 1460-2067 |
Titel des übergeordneten Werks (Englisch): | The computer journal : a publication of the British Computer Society |
Verlag: | Oxford Univ. Press |
Verlagsort: | Oxford |
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Jahr der Erstveröffentlichung: | 2014 |
Erscheinungsjahr: | 2014 |
Datum der Freischaltung: | 27.03.2017 |
Freies Schlagwort / Tag: | fully concurrent bisimulation; maximal structuring; model transformation; process modeling; structured process model |
Band: | 57 |
Ausgabe: | 1 |
Seitenanzahl: | 24 |
Erste Seite: | 12 |
Letzte Seite: | 35 |
Fördernde Institution: | Estonian Science Foundation; European Regional Development Fund via the Estonian Centre of Excellence in Computer Science |
Organisationseinheiten: | An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH |
Peer Review: | Referiert |