Why are modalities good for Interface Theories?

Jean-Baptiste Raclet 1, * Eric Badouel 2 Albert Benveniste 3 Benoit Caillaud 2 Roberto Passerone 4
* Auteur correspondant
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting ``aspects'' and ``assume/guarantee'' reasoning. From these considerations, we show that, in addition to the now classical refinement and substitutability properties of interfaces, two additional operations are needed, namely: conjunction and residuation (or quotient). We draw the attention to the difficulty in handling interfaces having different alphabets --- which calls for alphabet equalization. We show that alphabet equalization must be performed differently for the different operations. Then, we show that Modal Interfaces, as adapted from the original proposal by Kim Larsen, offer the needed flexibility.
Type de document :
Rapport
[Research Report] RR-6899, INRIA. 2009
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00375098
Contributeur : Jean-Baptiste Raclet <>
Soumis le : lundi 13 avril 2009 - 15:45:12
Dernière modification le : mercredi 16 mai 2018 - 11:23:04
Document(s) archivé(s) le : jeudi 10 juin 2010 - 20:25:20

Fichiers

RR-6899.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00375098, version 1

Citation

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoit Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. [Research Report] RR-6899, INRIA. 2009. 〈inria-00375098〉

Partager

Métriques

Consultations de la notice

611

Téléchargements de fichiers

173