Differences

This shows you the differences between two versions of the page.

Link to this comparison view

blogs:pub2008:quantifying_process_equivalence_based_on_observed_behavior [2009/05/25 13:34] (current)
Line 1: Line 1:
 +====== Quantifying Process Equivalence Based on Observed Behavior ======
  
 +A.K. Alves de Medeiros, W.M.P. van der Aalst and A.J.M.M. Weijters\\
 +//Data & Knowledge Engineering,​ 64(1): 55-74, 2008//\\
 +
 +===== Abstract =====
 +
 +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 for most process instances (i.e., the ‘‘process arteries’’). Clearly, differences in some veins of a process are less
 +important than differences in the main arteries of a process. To address the problem, this paper proposes a completely
 +new way of comparing process models. Rather than directly comparing two models, the process models are compared with
 +respect to some typical behavior. This way, we are able to avoid the two problems just mentioned. The approach has been
 +implemented and has been used in the context of genetic process mining. Although the results are presented in the context
 +of Petri nets, the approach can be applied to any process modeling language with executable semantics.
 +
 +===== Links =====
 +
 +{{publications:​DKE2007_QuantifyingProcessEquivalence.pdf|Download PDF}} (745 KB)