ExRORU: A New Approach to Characterize the Behavioral Semantics of Process Models (Short Paper)
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.
KeywordsProcess model Refined ordering relations with uncertainty Complete prefix unfolding Behavioral semantics
This work was supported by the projects from National Natural Science Foundation of China (No. 61472207 and No. 61325008) and Key Program of Research & Development of MOST (No. 2016YFB1001101).