Rephrasing interoperability in terms of connector behaviours

Abstract : We supply details of a compositional specification theory we have been working on for modelling connectors and components. This supports the operations of parallel composition, for examining the structural behaviour of networked systems, logical conjunction, for supporting independent development of components, and quotient for incremental development in the form of component/connector synthesis. Our framework, a portion of which is conceptually similar to interface automata, is unique in that we've provided the first definition of quotient that can act on components exhibiting non-determinism, as well as the first definition of conjunction on this flavour of model. A refinement preorder corresponding to safe-substitutivity allows for the seamless interchanging of components and connectors without violating environmental assumptions. Our formulation of refinement also ensures that the framework enjoys strong algebraic properties. These are necessary for reasoning about components and connectors in a compositional manner.
Type de document :
Rapport
[Research Report] 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00695583
Contributeur : Emmanuelle Grousset <>
Soumis le : mercredi 9 mai 2012 - 11:44:31
Dernière modification le : mercredi 4 octobre 2017 - 11:24:02
Document(s) archivé(s) le : vendredi 30 novembre 2012 - 11:26:13

Fichier

CONNECT_deliverable_D2_3.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00695583, version 1

Collections

Citation

Marco Autili, Taolue Chen, Chris Chilton, Tingting Han, Lukas Holık, et al.. Rephrasing interoperability in terms of connector behaviours. [Research Report] 2012. 〈hal-00695583〉

Partager

Métriques

Consultations de la notice

174

Téléchargements de fichiers

167