Component Composition Preserving Behavioural Contracts Based on Communication Traces

Abstract : This paper investigates the compositional properties of reu- sable software components defined with explicit dependencies and be- havioural 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.
Type de document :
Communication dans un congrès
Jacques Farré and Igor Litovsky and Sylvain Schmitz. Proc. 10th Int. Conference on Implementation and Application of Automata (CIAA 2005), Revised Selected Papers, 2005, Sophia Antipolis, France. Springer-Verlag, 3845, pp.54--65, 2006, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00544967
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : jeudi 9 décembre 2010 - 12:11:25
Dernière modification le : mardi 24 avril 2018 - 13:34:49

Identifiants

  • HAL Id : inria-00544967, version 1

Collections

Citation

Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl. Component Composition Preserving Behavioural Contracts Based on Communication Traces. Jacques Farré and Igor Litovsky and Sylvain Schmitz. Proc. 10th Int. Conference on Implementation and Application of Automata (CIAA 2005), Revised Selected Papers, 2005, Sophia Antipolis, France. Springer-Verlag, 3845, pp.54--65, 2006, Lecture Notes in Computer Science. 〈inria-00544967〉

Partager

Métriques

Consultations de la notice

51