Skip to Main content Skip to Navigation
Journal articles

Design by Contracts : Analysis of Hidden Dependencies in Component Based Applications

Daniel Enselme Gérard Florin Fabrice Legond-Aubry 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Components are increasingly used to create complex and distributed systems and applications. They are often viewed as simple servers, which limits their capacity for collective action. In this paper, we propose a method to simplify their assembly and their potential re-usability. We use the notion of dependency and contract between components to explicitly design an entity that guarantee the correctness of the built system. We introduce split contracts and delegations of properties to check, both at conception and execution time, the correctness of the built system. Our solution increases the independence of the participating entities by isolating the core components and transferring the aggregation into specific "glue" components.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01175908
Contributor : Lip6 Publications <>
Submitted on : Monday, July 13, 2015 - 2:50:03 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM

Identifiers

  • HAL Id : hal-01175908, version 1

Citation

Daniel Enselme, Gérard Florin, Fabrice Legond-Aubry. Design by Contracts : Analysis of Hidden Dependencies in Component Based Applications. The Journal of Object Technology, Chair of Software Engineering, 2004, 3 (4), pp.23-45. ⟨hal-01175908⟩

Share

Metrics

Record views

112