Composition comportementale de composants

par Mikaël Beauvois

Thèse de doctorat en Systèmes et logiciels

Sous la direction de Michel Riveill.

Soutenue en 2005

à Grenoble INPG .

mots clés

Résumé

L'évolution des besoins des logiciels entraîne la croissance de la complexité des environnements répartis. La recherche effectuée dans le domaine de la conception de ces environnements vise à réduire cette complexité. Un des principaux problèmes de la conception des infrastructures réparties concerne la composition des propriétés non fonctionnelles (également appelées services techniques). Les services interagissent entre eux. Nous avons identifié deux types d'interaction. Il existe actuellement de nombreuses approches (académiques et industrielles) qui permettent de concevoir ces infrastructures. Dans un premier temps, nous exposons les concepts de la composition et nous étudions les mécanismes de composition mis en œuvre dans ces approches de conception. A partir de cette étude, nous proposons une nouvelle approche de composition appelée composition comportementale qui permet de supprimer un certain nombre de limites identifiées dans les autres approches. L'approche de composition comportementale utilise le modèle de composants Fractal et introduit un modèle d'automates qui permet de décrire les comportements des composants. Nous avons réalisé un canevas logiciel qui implante le modèle de composant et le modèle de comportement. Le canevas a été conçu afin que les approches de conception puisse l'utiliser. L'implantation du canevas génère un environnement d'exécution basé sur le langage synchrone réactif Esterel. Pour conclure, nous positionnons notre approche avec les autres approches de conception à partir de critères d'évaluation que nous avons définis. Quelques perspectives concernant l'approche sont données.

Pas de résumé disponible.

Titre traduit

Behavioural composition of components

Résumé

Evolution of software needs leads to increase the complexity of distributed environments. Research in software engineering aims to decrease this complexity. One of main issues in design of distributed infrastructures concerns the composition of non functional properties (also called technical services). Services interact each other. We have identified two kinds of interaction. Currently, there are a lot of academic and industrial approaches to build those infrastructures. At first, we expose concepts of composition and we study the mechanisms of composition implemented in those approaches. With this survey, we propose a new composition approach called behavioural composition that suppresses the limits identified in the other approaches. The behavioural composition approach uses the Fractal component model and introduces an automata model to describe the components behaviours. We made a software framework that implements the component model and the behaviour model. The framework has been designed to be used by other approaches. The implementation of the framework generates an execution environment based on the reactive synchronous Esterel language. To conclude, we evaluate our approach with evaluation criteria we have defined. Some perspectives are given.