- ENGLISH
- CV (ingénieur / consultant)
- Qu'est ce qu'un docteur ?
| Alain Ozanne a.ozanne[@]free.fr |
Sommaire : Sujet de thèse Résumé Positionnement par rapport à ConFract Mots clés Description du modèle Mémoire Prototype Publications Communications Enseignements Bibtex Liens |
Interact : un modèle général de contrat pour la garantie des assemblages de composants et services
Date de soutenance : 30-11-2007
Ecole : Université Pierre et Marie Curie (Paris VI),
Laboratoires : LIP6, France Telecom R&D
remise du diplome
Résumé :
Pour satisfaire aux nouveaux besoins de flexibilité, modularité, d’adaptabilité et de distribution des applications, les paradigmes composants et services ont été déclinés dans des frameworks reconnus comme J2EE, OSGI, SCA ou encore Fractal[1]. Néanmoins, ceux-ci offrent peu d’outils permettant de garantir la fiabilité des applications en raisonnant de manière générique sur leur configuration architecturale et les spécifications des participants. Dans cette thèse, j'envisage l’organisation de la vérification des assemblages, et le diagnostic des défaillances, sous l’angle de l’approche par contrat dirigée par les responsabilités. Pour cela, j'analyse d'abord sous quelles hypothèses intégrer différents formalismes à cette approche, puis comment appliquer cette approche à différentes architectures. J'étudie par ailleurs comment les intervenants de la mise en oeuvre des systèmes pourraient en bénéficier. Cela m'amène à présenter un modèle de contrat, qui intègre et organise différentes propriétés, analysées comme requises pour la validité de l'assemblage, conjointement, et uniformément sur différentes architectures. J'en définis le modèle objet qui réifie la logique contractuelle, ainsi que son implémentation sous forme d’un framework. Ce dernier est validé sur l’architecture Fractal[1] et deux formalismes contractuels, l’un à base d’assertions et l’autre de contraintes sur les séquences d’interactions valides entre participants. Une validation plus avancée est montrée sur l’exemple d’une application de communautés instantanées.
Positionnement par rapport à ConFract :
Etant donné qu'on m'a posé la question plus d'une fois, je crois qu'il est utile que je positionne Interact par rapport à ConFract. Tout d'abord, Interact n'est pas une extension de ConFract. Interact accepte différents formalismes et s'applique à différentes architectures, il est ainsi plus général que ConFract. Il faut encore noter qu'un contrat de ConFract est bâti sur une unique spécification, qui peut porter sur plusieurs composants, et que ainsi il n'exprime et n'évalue que la conformité d'un ou plusieurs composants à cette spécification. Un contrat dans Interact considère les spécifications propres à chacun des composants de l'assemblage, il réifie, pour en organiser l'évaluation et l'analyse, la conformité de chaque composant à sa spécification, mais aussi et surtout la compatibilité de ces composants via celle de leurs spécifications.
Mots clés :
interaction, contrat, composant, service, composition, responsabilité, conformité, compatibilité
Description du modèle :
Interact Description.pdf
Mémoire :
Interact v1.74.pdf
Prototype :
J'ai développé un prototype opérationnel et son application à un système exemple. Ils sont disponibles auprès de France Telecom R&D, envoyez moi un mail et je vous mettrai en contact avec la personne responsable. Le prototype a été déposé par France Telecom R&D auprès de l'Agence pour la Protection des Programmes (certificat : IDDN.FR.001.410014.000.S.P.2008.000.10700).
Publications :
- Collet, Malenfant, Ozanne, Rivierre : "Composite Contract Enforcement in Hierarchical Component Systems". In ETAPS 2007, 6th International Symposium on Software Composition (SC 2007). LNCS, Springer Verlag.
- Collet, Ozanne, Rivierre : "Towards a Versatile Contract Model to Organize Behavioral Specifications". In 33rd International Conference on Current Trends in Theory and Practice of Computer Science SOFSEM 2007, Harrachov (Czech Republic).
- Chang, Collet, Ozanne, Rivierre : "From components to autonomic elements using negotiable contracts". In 3rd International Conference on Autonomic and Trusted Computing (ATC’06).
- Chang, Collet, Ozanne, Rivierre : "Some autonomic features of hierarchical components with negotiable contracts'', ICAC 2006.
- Collet, Ozanne, Rivierre : "Enforcing Different Contracts in Component-based Hierarchical Systems'', ETAPS 2006 (Software Composition Symposium).
- Collet, Ozanne, Rivierre : "On Contracting Behavioral Properties in Component-Based Systems'', poster, ACM Symposium on Applied Computing 2006 (Software Engineering Track).
- Collet, Ozanne : "Un système de contractualisation pour Fractal : intégration et retour sur expérience'', Journées Composants 2005.
- Collet, Ozanne : "Spécification d'intégration du modèle de contrats dans la plateforme Fractal'', France Télécom, Rapport de Contrat de Recherche Externe n° 422721832, septembre 2003.
Communications :
"Confract, a Fractal Contracting Framework", workshop fractal de la conférence ObjectWeb 2005
Enseignements :
- TD et TME en Master d'informatique, 1ère année, Module "Science et Technologie du Logiciel" (STL), matière "Composants".
- Introduction
aux EJB en Master d'informatique 1ère année.
Références :
- Bruneton, Coupaye, Leclercq, Quéma, Stefani : "An Open Component Model and Its Support in Java". ICSE 2004 - CBSE7 (May 2004).
Bibtex :
@PHDTHESIS{Oza07,
author = {Alain Ozanne},
title = {Interact : un modèle général de contrat pour la garantie des assemblage de composants et services},
school = {Université Pierre et Marie Curie (Paris VI)},
year = {2007},
month = {November}
}
Liens :
mon blog : http://weboversky.blogspot.com/