Component Composition Preserving Behavioural Contracts Based on Communication Traces

Arnaud Bailly (1) , Mireille Clerbout (1) , Isabelle Simplot-Ryl (1)

1 LIFL - Laboratoire d'Informatique Fondamentale de Lille

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.

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⟩