• Philippe Collet (Philippe.Collet@unice.fr)
• Philippe Lahire(Philippe.Lahire@unice.fr)

Titre : Composition de contrats métiers et techniques dans les architectures orientées services

La conception des applications réparties s'effectue de plus en plus dans le cadre d'architectures orientées services et de plates-formes de composants logiciels. L’utilisation de la programmation par composants et par services permet de prendre en compte des problèmes comme la répartition du code, l’évolution ou l’adaptation de l’implémentation en fonction du contexte d’exécution, et plus généralement, des besoins de flexibilité et de dynamicité. Ceci ne doit cependant pas se faire au détriment de la fiabilité de ces applications. Une approche pertinente consiste alors à exprimer et contrôler diverses formes de spécification par le biais de contrats. Les éléments d'un contrat peuvent être alors de différents niveaux (fonctionnels, extra fonctionnels, locaux ou globaux, liés à la qualité de service vis-à-vis des utilisateurs ou de l’infrastructure technique, etc.). Cette thèse est réalisée dans le cadre du projet RNTL FAROS (Composition de contrats pour la Fiabilité d’ARchitectures Orientées Services)

Dans ce contexte, les objectifs de cette thèse sont :

• De définir une approche pour modéliser des services et leurs interactions en s’appuyant notamment sur des contrats métiers (exprimés par les utilisateurs finaux ou les concepteurs du domaine applicatif) et des contrats techniques (exprimés par les architectes ou les administrateurs des plates-formes logicielles). Cela engage une réflexion sur la composition de modèle, les opérations de fusion et le tissage par aspect.

• De fournir des langages dédiés à l’expression des différentes formes de contrat envisagées, tout en étant à la portée des utilisateurs prévus.

• De fournir un modèle qui permette à la fois de composer des contrats, mais aussi de raisonner sur ces contrats. Il devra être en particulier possible de raisonner en termes de services (en s’appuyant sur les interactions et les propriétés de la composition de services), mais aussi en termes de composants lorsque ces services sont implémentés à l’aide de composants logiciels hiérarchiques. La capacité à spécialiser des contrats de haut-niveau en contrats de plus bas niveau devra être une des propriétés résultantes du modèle.

• De valider l’approche en la projetant sur une architecture orientée services, dans laquelle les services sont implémentés par des composants hiérarchiques Fractal.

Pour atteindre ces objectifs, il est essentiel que les résultats soient applicables directement au niveau des modèles, afin de tenir compte de la diversité des plates-formes logicielles orientées composants ou services.

Les prototypes se baseront sur le système ConFract pour Fractal, développé sous contrat avec France Télécom R&D). Les prototypes s’inspireront entre autre des applications SEDUITE et AMUI.

Références Web :

• Site de Fractal
• Site du projet FAROS