Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction

Rocco De Nicola
  • Fonction : Auteur
  • PersonId : 993626
Giulio Iacobelli
  • Fonction : Auteur
  • PersonId : 993627
Mirco Tribastone
  • Fonction : Auteur
  • PersonId : 993628

Résumé

We study models of concurrency based on labelled transition systems where abstractions are induced by a partition of the action set. We introduce dimming relations which are able to relate two models if they can mimic each other by using actions from the same partition block. Moreover, we discuss the necessary requirements for guaranteeing compositional verification. We show how our new relations and results can be exploited when seemingly heterogeneous systems exhibit analogous behaviours manifested via different actions. Dimming relations make the models more homogeneous by collapsing such distinct actions into the same partition block. With our examples, we show how these abstractions may considerably reduce the state-space size, in some cases from exponential to polynomial complexity.
Fichier principal
Vignette du fichier
978-3-662-43613-4_14_Chapter.pdf (324.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01398017 , version 1 (16-11-2016)

Licence

Paternité

Identifiants

Citer

Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone. Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.216-231, ⟨10.1007/978-3-662-43613-4_14⟩. ⟨hal-01398017⟩
66 Consultations
45 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More