Maximal structuring of acyclic process models

Polyvyanyy, Artem, Garcia-Banuelos, Luciano, Fahland, Dirk, & Weske, Mathias (2014) Maximal structuring of acyclic process models. The Computer Journal, 57(1), pp. 12-35.

View at publisher


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.

Impact and interest:

9 citations in Scopus
Search Google Scholar™
4 citations in Web of Science®

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 57406
Item Type: Journal Article
Refereed: Yes
Additional URLs:
Keywords: Process modeling, Structured process model, Maximal structuring, Model transformation, Fully concurrent bisimulation
DOI: 10.1093/comjnl/bxs126
ISSN: 1460-2067 (online) 0010-4620 (print)
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > DISTRIBUTED COMPUTING (080500)
Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600)
Divisions: Current > Schools > School of Information Systems
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Copyright Owner: Copyright 2012 The Authors. Published by Oxford University Press on behalf of The British Computer Society.
Deposited On: 20 Feb 2013 00:22
Last Modified: 25 Mar 2015 02:48

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page