Unveiling hidden unstructured regions in process models

Polyvyanyy, Artem, García-Bañuelos, Luciano, & Weske, Mathias (2009) Unveiling hidden unstructured regions in process models. In Meersman, Robert, Dillon, Tharam, & Herrero, Pilar (Eds.) Lecture Notes in Computer Science : On the Move to Meaningful Internet Systems, Springer Berlin Heidelberg, Vilamoura, Portugal, pp. 340-356.

View at publisher


Process models define allowed process execution scenarios. The models are usually depicted as directed graphs, with gateway nodes regulating the control flow routing logic and with edges specifying the execution order constraints between tasks. While arbitrarily structured control flow patterns in process models complicate model analysis, they also permit creativity and full expressiveness when capturing non-trivial process scenarios. This paper gives a classification of arbitrarily structured process models based on the hierarchical process model decomposition technique. We identify a structural class of models consisting of block structured patterns which, when combined, define complex execution scenarios spanning across the individual patterns. We show that complex behavior can be localized by examining structural relations of loops in hidden unstructured regions of control flow. The correctness of the behavior of process models within these regions can be validated in linear time. These observations allow us to suggest techniques for transforming hidden unstructured regions into block-structured ones.

Impact and interest:

4 citations in Scopus
Search Google Scholar™
6 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: 70720
Item Type: Conference Paper
Refereed: Yes
Keywords: Process structure tree, Process model analysis, Process model correctness, Process model transformation
DOI: 10.1007/978-3-642-05148-7_23
ISBN: 9783642051470
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 > QUT Faculties and Divisions > Science & Engineering Faculty
Deposited On: 29 Apr 2014 23:48
Last Modified: 16 Jul 2014 05:35

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page