|
 
|
[FEL04] Design by contracts: analysis of hidden dependencies in component based applications
Revue Internationale avec comité de lecture : Journal Journal of Objects Technology, 2004
motcle:
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 garantee 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 participants entities by isolating the core components and transferring the aggregation into specific glue components.
Commentaires:
note
BibTeX
| @article { | |||
| FEL04, | |||
| title | = | "{Design by contracts: analysis of hidden dependencies in component based applications}", | |
| author | = | "G. Florin and D. Enselme and F. Legond-Aubry", | |
| journal | = | "Journal of Objects Technology", | |
| year | = | 2004, | |
| note | = | "{note}", | |
| } | |||
