Skip to Main content Skip to Navigation
Journal articles

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

https://hal.inria.fr/inria-00542545
Contributor : Isabelle Simplot-Ryl <>
Submitted on : Thursday, December 2, 2010 - 10:42:54 PM
Last modification on : Friday, January 8, 2021 - 11:22:05 AM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

153