formation par la recherche / formation doctorale / enseignement, stages / sujets de thèses

Modélisation d'aspects qualité de service en UML
application aux composants logiciels

Localisation :Irisa, Rennes

Projets Adp et Pampa

Responsable : Noël Plouzeau (tél. direct : 02 99 84 71 89, email : Noel.Plouzeau@irisa.fr)

Mot-clés : Metamodèle, UML, conception par objets, qualité de service, composants logiciels

Sujet : L'emploi de composants devient de plus en plus fréquent dans l'industrie du logiciel. De tels composants s'appuient sur un modèle d'assemblage, lui-même fondé sur la spécification précise des responsabilités réciproques des composants et de de leur environnement. La notion de contrat joue un rôle fondamental pour spécifier les liens entre les composants qui fournissent des services et ceux qui les consomment. L'utilisation de contrats force les concepteurs à spécifier avant de mettre en uvre et fournit une documentation plus formelle. Dans la pratique, cette notion classique de contrat ne suffit pas pour les applications réparties ou interactives. Il est possible d'étendre cette notion pour prendre en compte des aspects de synchronisation ou de qualité de service (durée d'exécution d'un service, délai, bande passante). Une telle extension a été commencée dans le cadre de l'action Rusken de l'Irisa.

Le travail de thèse proposé reprendra les résultats de Rusken et les étendra pour définir une famille de modèles de contrats, en utilisant les possibilités de metamodélisation de la notation UML. En d'autres termes, il s'agira d'étendre cette notation pour offrir aux concepteurs de logiciels à objets une palette d'outils de spécification et conception traitant les aspects de synchronisation et de qualité de service. Les modèles définis seront mis en oeuvre dans la plate-forme de modélisation Umlaut développée par le projet Pampa. Les modèles de contrats développés pour alors s'intégrer au processus d'assemblage de mise en oeuvre développé dans l'environnement Umlaut. Enfin, ils devront être utilisables dans une architecture à composants standard (COM, Beans, OMG components,...).