Refine
Document Type
- Article (7)
- Monograph/Edited Volume (5)
- Doctoral Thesis (1)
Language
- English (13)
Keywords
- Hasso-Plattner-Institut (2)
- Structuring (2)
- Behavior (1)
- Behavioural Abstraction (1)
- Causal Behavioural Profiles (1)
- Causality (1)
- Compliance measurement (1)
- Concurrency (1)
- Exclusiveness (1)
- Formal Methods (1)
- Forschungskolleg (1)
- Hasso Plattner Institute (1)
- Hasso-Plattner-Institute (1)
- Klausurtagung (1)
- Log conformance (1)
- Model equivalence (1)
- Modeling (1)
- Modellierung (1)
- Modular decomposition (1)
- Optionality (1)
- Order Relations (1)
- Petri net unfolding (1)
- Ph.D. Retreat (1)
- Process (1)
- Process compliance (1)
- Process modeling (1)
- Prozesse (1)
- Quality of service (1)
- Research School (1)
- Root cause analysis (1)
- Service composition (1)
- Service orchestration (1)
- Service-oriented Systems Engineering (1)
- Service-oriented computing (1)
- Structural Decomposition (1)
- Structured modeling (1)
- Strukturierung (1)
- Verhalten (1)
- Well-structuredness (1)
- Wohlstrukturiertheit (1)
- fully concurrent bisimulation (1)
- maximal structuring (1)
- model transformation (1)
- process modeling (1)
- structured process model (1)
This article studies the problem of transforming a process model with an arbitrary topology into an equivalent well-structured process model. While this problem has received significant attention, there is still no full characterization of the class of unstructured process models that can be transformed into well-structured ones, nor an automated method for structuring any process model that belongs to this class. This article fills this gap in the context of acyclic process models. The article defines a necessary and sufficient condition for an unstructured acyclic process model to have an equivalent well-structured process model under fully concurrent bisimulation, as well as a complete structuring method. The method has been implemented as a tool that takes process models captured in the BPMN and EPC notations as input. The article also reports on an empirical evaluation of the structuring method using a repository of process models from commercial practice.