Component Composition Preserving Behavioural Contracts Based on Communication Traces

Abstract : This paper investigates the compositional properties of reusable software components defined with explicit dependencies and behavioural contracts expressing rely-guarantee specifications in the form of communication traces. In this setting, connection of components through their matching ports is indeed compositional and yields a new component or composite that respects its constituents' contracts. Thus the behaviour of the composite is computed from the behaviours of its constituents and is known to conform to the contracts without any new proof. © 2006 Elsevier B.V. All rights reserved.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2006, 363 (2), pp.108--123. 〈10.1016/j.tcs.2006.07.019〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00542545
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : jeudi 2 décembre 2010 - 22:42:54
Dernière modification le : jeudi 11 janvier 2018 - 06:20:12

Identifiants

Collections

Citation

Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl. Component Composition Preserving Behavioural Contracts Based on Communication Traces. Theoretical Computer Science, Elsevier, 2006, 363 (2), pp.108--123. 〈10.1016/j.tcs.2006.07.019〉. 〈inria-00542545〉

Partager

Métriques

Consultations de la notice

41