Residual for Component Specifications

Jean-Baptiste Raclet 1
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Component-based design aims at building new software systems from preexisting components. However in current component platforms, reuse of a component is completed from its signature. Thus nothing can be inferred about the interaction between the reused component and its environment and behavioral mismatch may occur. To express component reuse at a behavioral level, we introduce modal automata and acceptance automata as intuitive formalisms for behavioral interface description. From the expressiveness point of view, these formalisms allow to state some forms of liveness properties. We argue that reusing a component C1, the behavior of which is described by the specification S1, in order to realize a global system specified by S amounts to exhibiting a residual specification S / S1 so that any model C2 of S / S1 when composed with C1 constitutes a composite system satisfying S. We define a quotient operation for modal automata and acceptance automata of polynomial complexity (quadratic in the size of the specifications).
Type de document :
Rapport
[Research Report] RR-6196, INRIA. 2007
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00141898
Contributeur : Jean-Baptiste Raclet <>
Soumis le : jeudi 24 mai 2007 - 11:05:13
Dernière modification le : mercredi 16 mai 2018 - 11:23:04
Document(s) archivé(s) le : jeudi 23 septembre 2010 - 16:02:38

Fichiers

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

Identifiants

  • HAL Id : inria-00141898, version 3

Citation

Jean-Baptiste Raclet. Residual for Component Specifications. [Research Report] RR-6196, INRIA. 2007. 〈inria-00141898v3〉

Partager

Métriques

Consultations de la notice

198

Téléchargements de fichiers

133