摘要
We propose to use bisimulation to quantify dissimilarity between processes: in this case we speak of k-bisimulation. Two processes p and q, whose semantics is given through transition systems, are k-bisimilar if they differ from at most k moves, where k is a natural number. Roughly speaking, the k-bisimulation captures the extension of the dissimilarity between p and q when they are neither strong nor weak equivalent. The importance of the formal concept of k-bisimulation can be seen in several application fields, such as clone detection, process mining, business-IT alignment. We propose several heuristics in order to efficiently check such a bisimulation. The approach can be applied to different specification languages (CCS, LOTOS, CSP) provided that the language semantics is based on the notion of transition system. We have implemented a prototype tool and we have conducted experiments on well-known systems for a proof of concept of our methodology.
摘要译文
我们建议使用双模拟来量化过程之间的不同性：在这种情况下，我们说k-双模态。两个过程p和q，其语义通过过渡系统给出，如果它们不同于至多k个移动，则k是双向的，其中k是一个自然数。概括来说，k-互模拟捕获p和q之间的不相似性的延伸，当它们既不强也不是弱等价时k-互模拟的形式概念的重要性可以在几个应用领域中看到，例如作为克隆检测，过程挖掘，业务-IT对齐我们提出了几种启发式方法，以便有效地检查这种双模式。该方法可以应用于不同的规范语言（CCS，LOTOS，CSP），条件是语言语义是基于过渡系统的概念我们已经实现了一个原型工具，我们已经对知名系统进行了实验，以证明我们的方法论的概念
Giuseppe De Ruvo (15); Giuseppe Lettieri (16); Domenico Martino (15); Antonella Santone (15); Gigliola Vaglini (16);. k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. Formal Aspects of Component Software[M].DE: Springer;LNCS, 2016: 181-198