Why are modalities good for Interface Theories?

Jean-Baptiste Raclet 1 Eric Badouel 2 Albert Benveniste 3 Benoit Caillaud 2 Roberto Passerone 4
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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 :
Communication dans un congrès
Stephen Edwards and Walter Vogler. The 9th International Conference on Application of Concurrency to System Design, Jul 2009, Augsburg, Germany. 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-00389051
Contributeur : Benoît Caillaud <>
Soumis le : jeudi 28 mai 2009 - 09:52:49
Dernière modification le : mercredi 16 mai 2018 - 11:23:05
Document(s) archivé(s) le : jeudi 10 juin 2010 - 21:53:30

Fichier

rbbcp-acsd09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00389051, version 1

Citation

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoit Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. Stephen Edwards and Walter Vogler. The 9th International Conference on Application of Concurrency to System Design, Jul 2009, Augsburg, Germany. 2009. 〈inria-00389051〉

Partager

Métriques

Consultations de la notice

513

Téléchargements de fichiers

136