• search hit 6 of 13
Back to Result List

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.

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Author:Artem Polyvyanyy, Luciano Garcia-Banuelos, Dirk Fahland, Mathias WeskeORCiDGND
ISSN:0010-4620 (print)
ISSN:1460-2067 (online)
Parent Title (English):The computer journal : a publication of the British Computer Society
Publisher:Oxford Univ. Press
Place of publication:Oxford
Document Type:Article
Year of first Publication:2014
Year of Completion:2014
Release Date:2017/03/27
Tag:fully concurrent bisimulation; maximal structuring; model transformation; process modeling; structured process model
First Page:12
Last Page:35
Funder:Estonian Science Foundation; European Regional Development Fund via the Estonian Centre of Excellence in Computer Science
Organizational units:An-Institute / Hasso-Plattner-Institut fĂĽr Digital Engineering gGmbH
Peer Review:Referiert