Skip to Main content Skip to Navigation

Interact : un modèle général de contrat pour la garantie des assemblages de composants et services

Alain Ozanne 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : To meet the new requirements of applications in terms of flexibility and modularity and upgradability as well as distribution, the components and services paradigms have been used in well known frameworks such as J2EE, OSGI, SCA or Fractal. However, these don't offer tools for reasonning in a generic way on their architectural configuration and the specifications of their parts. In this thesis, I consider the organization of the verification of assemblies, and the diagnosis of their failures, from the point of view of a contractual, responsibility driven, approach. To this end, I analyze firstly the assumptions under which integrating various formalisms in this approach, then how to apply this approach to different architectures. Moreover, I study how people, intervening in the implementation of these systems, may take advantage of it. This leads me to present a contract model, which integrates and organizes various properties (analyzed as required for assembly dependability) jointly and uniformly on different kinds of architectures. I define an object model which reifies the contractual logic, and its implementation as a framework. This latter is validated on the Fractal component model and two contractual formalisms, one assertion-based and the other constraining interactions sequences between participants. A more advanced validation is shown on the exemple of an instant communities application.
Document type :
Complete list of metadatas

Cited literature [110 references]  Display  Hide  Download
Contributor : Alain Ozanne <>
Submitted on : Saturday, July 24, 2010 - 6:56:56 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM
Long-term archiving on: : Monday, October 25, 2010 - 12:17:58 PM


  • HAL Id : tel-00292148, version 2


Alain Ozanne. Interact : un modèle général de contrat pour la garantie des assemblages de composants et services. Génie logiciel [cs.SE]. Université Pierre et Marie Curie - Paris VI, 2007. Français. ⟨tel-00292148v2⟩



Record views


Files downloads