ExRORU: A New Approach to Characterize the Behavioral Semantics of Process Models (Short Paper)

Shuhao Wang,Lijie Wen,Akhil Kumar,Jianmin Wang,Jianwen Su

DOI: https://doi.org/10.1007/978-3-319-48472-3_18

2016-01-01

Abstract:A recent paper has proposed new ordering relations with uncertainty between the executions of tasks in acyclic process models. However, this approach cannot work for cyclic process models and those with silent transitions and non-free-choice constructs. In practice most non-trivial process models contain cycles and about 10 % to 20 % have also non-free-choice constructs. In this paper, we show how to overcome these problems by a refinement of the relations (i.e., extended refined ordering relations with uncertainty, ExRORU for short). All these relations can uniquely detect the behavioral differences between any pair of process models and can also be computed efficiently based on the complete prefix unfolding of a process model. Experiments on real-life and synthesized process models show that ExRORU is both effective and scalable.