Component Composition Preserving Behavioural Contracts Based on Communication Traces - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2006

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.

Dates and versions

inria-00542545 , version 1 (02-12-2010)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More