Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00544967
Contributor : Isabelle Simplot-Ryl <>
Submitted on : Thursday, December 9, 2010 - 12:11:25 PM
Last modification on : Thursday, February 21, 2019 - 10:52:45 AM

Identifiers

  • HAL Id : inria-00544967, version 1

Collections

Citation

Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl. Component Composition Preserving Behavioural Contracts Based on Communication Traces. Proc. 10th Int. Conference on Implementation and Application of Automata (CIAA 2005), Revised Selected Papers, 2005, Sophia Antipolis, France. pp.54--65. ⟨inria-00544967⟩

Share

Metrics

Record views

128