Supervision : Jacques MALENFANT

Co-supervision : COLLET Philippe

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

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. 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, nous envisageons l’organisation de la vérification des assemblages, et le diagnostic des défaillances, sous l’angle de l’approche par contrat. Pour celà, nous analysons sous quelles hypothèses intégrer différents formalismes, et comment appliquer cette approche à différentes architectures. Nous étudions par ailleurs comment les intervenants de la mise en oeuvre des systèmes pourraient en bénéficier. Cela nous amène à présenter un bus de validation d’assemblage, qui autorise l’intégration et l’organisation de différentes propriétés conjointement, et uniformément sur différentes architectures. Nous en définissons 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 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.

2005-2007 Publications

• 2007
  • A. Ozanne : “Interact : Un modèle général de contrat pour la garantie des assemblages de composants et services”, thesis, phd defence 11/30/2007, supervision Malenfant, Jacques, co-supervision : Collet, Philippe (2007)
  • Ph. Collet, J. Malenfant, A. Ozanne, N. Rivierre : “Composite Contract Enforcement in Hierarchical Component Systems”, ETAPS 2007, 6^th International Symposium on Software Composition (SC 2007), vol. 4829, Lecture Notes in Computer Science, Braga, Portugal, pp. 18-33, (Springer-Verlag) (2007)
  • Ph. Collet, A. Ozanne, N. Rivierre : “Towards a Versatile Contract Model to Organize Behavioral Specifications”, 33^rd International Conference on Current Trends in Theory and Practice of Computer Science SOFSEM 07, vol. 4362, Lecture Notes in Computer Science, Harrachov, Czechia, pp. 844-855, (Springer) (2007)
• 2006
  • H. Chang, Ph. Collet, A. Ozanne, N. Rivierre : “From Components to Autonomic Elements using Negotiable Contracts”, 3^rd International Conference on Autonomic and Trusted Computing (ATC '06), vol. 4158, Lecture Notes in Computer Science, Wuhan, China, pp. 78-89, (Springer-Verlag) (2006)
  • H. Chang, Ph. Collet, A. Ozanne, N. Rivierre : “Some Autonomic Features of Hierarchical Components with Negotiable Contracts”, 3^rd IEEE International Conference on Autonomic Computing (ICAC '06), Dublin, Ireland, pp. 285-286, (IEEE) (2006)
  • Ph. Collet, A. Ozanne, N. Rivierre : “On contracting different behavioral properties in component-based systems”, The 21^st Annual ACM Symposium on Applied Computing, SAC'06, Dijon, France, pp. 1798-1799, (ACM) (2006)
  • Ph. Collet, A. Ozanne, N. Rivierre : “Enforcing Different Contracts in Hierarchical Component-Based Systems”, ETAPS 2006, 5^th International Symposium on Software Composition (SC '06), vol. 4089, Lecture Notes in Computer Science, Vienna, Austria, pp. 50-65, (Springer) (2006)
• 2005
  • Ph. Collet, A. Ozanne : “Un système de contractualisation pour Fractal : intégration et retours sur expèrience”, Journées Composants 2005, Le Croisic, France (2005)