Quantifying process equivalence based on observed behavior

In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matching some desired service description, or to compare some normative process model with a process model discovered using process mining techniques. Although many researchers have worked on different notions of equivalence (e.g., trace equivalence, bisimulation, branching bisimulation, etc.), most of the existing notions are not very useful in this context. First of all, most equivalence notions result in a binary answer (i.e., two processes are equivalent or not). This is not very helpful because, in real-life applications, one needs to differentiate between slightly different models and completely different models. Second, not all parts of a process model are equally important. There may be parts of the process model that are rarely activated (i.e., ``process veins'') while other parts are executed ...

• Type: Journal
• Year: 2008
• Where: DKE
• Authors: Ana Karla Alves de Medeiros, Wil M. P. van der Aalst, A. J. M. M. Weijters
• Keywords: DKE 2008, Model, Organization-specific Process Model, Process Models