Skip to Main content Skip to Navigation
Conference papers

Quantifying the Similarity of Non-bisimilar Labelled Transition Systems

Gwen Salaün 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Equivalence checking is an established technique for automatically verifying that two behavioural models (Labelled Transition Systems, LTSs) are equivalent from the point of view of an external observer. When these models are not equivalent, the checker returns a Boolean result with a counterexample, which is a sequence of actions leading to a state where the equivalence relation is not satisfied. However , this counterexample does not give any indication of how far the two LTSs are one from another. One can wonder whether they are almost identical or totally different, which is quite different from a design or debugging point of view. In this paper, we present an approach for measuring the similarity between two LTS models. The set of metrics is computed automatically using a tool we implemented. Beyond presenting the foundations of the proposed solution, we will show how it can be applied to a concrete application domain for supporting the construction of IoT applications by composition of existing devices.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-02933345
Contributor : Gwen Salaün <>
Submitted on : Tuesday, September 8, 2020 - 1:26:39 PM
Last modification on : Tuesday, May 11, 2021 - 11:37:50 AM
Long-term archiving on: : Wednesday, December 2, 2020 - 10:46:30 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02933345, version 1

Collections

Citation

Gwen Salaün. Quantifying the Similarity of Non-bisimilar Labelled Transition Systems. FOCLASA 2019 17th International Workshop on Coordination and Self-adaptativeness of Software Applications, Sep 2019, Oslo, Norway. ⟨hal-02933345⟩

Share

Metrics

Record views

35

Files downloads

215