Design by Contracts : Analysis of Hidden Dependencies in Component Based Applications - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue The Journal of Object Technology Année : 2004

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

Daniel Enselme
  • Fonction : Auteur
Gérard Florin
  • Fonction : Auteur
Fabrice Legond-Aubry
  • Fonction : Auteur
  • PersonId : 964568

Résumé

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.
Fichier non déposé

Dates et versions

hal-01175908 , version 1 (13-07-2015)

Identifiants

  • HAL Id : hal-01175908 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More