Le modèle Fractal comporte un langage de description d'architectures (ADL en anglais), qui permet de décrire la structure d'une application bâtie avec des composants génériques et réutilisables. Nous avons par ailleurs proposé des extensions de Fractal-ADL permettant d'y insérer des spécifications comportementales. Mais ces langages sont de trop bas niveau pour être directement exposes à un developpeur non expert. Il convient donc de concevoir des langages, textuels ou graphiques, plus abstraits et plus simples d'utilisation.
Un des thèmes de recherche de l'équipe du LabSoC (au sein du laboratoire de l'Ecole Nationale Superieure des Telecommunications à Sophia) est l'étude et la mise en place d'environnements de vérification et simulation dédiés à l'exploration d'architecture. Elle offre et développe un outil de modélisation des systèmes temps-réel nommé Ttool, basé sur un profil UML batios'e Turtle (cf. http://labsoc.comelec.enst.fr/turtle/), qui propose une méthodologie d'analyse et de vérification, différente mais pas très éloignée de ce qui existe dans le domaine des composants répartis.
Le stagiaire devra étudier le profil Turtle et l'outil Ttool, et l'utiliser pour spécifier un exemple de système de composants ProActive. Dans un deuxième temps, il spécifiera le comportement du même exemple à l'aide d'un autre type de diagrammes UML, basé sur les "StateCharts" (diagrammes d'états), et comparera les deux approches.
The Fractal model contains an Architecture Description Language (ADL), allowing the description of the structure of applications built from generic and reusable components. We have also proposed extensions to Fractal-ADL for attaching behaviour specification in the descriptions. But these languages are too low-level to be exposed to a non-expert developper. We intend to propose new languages, textual or graphical, that would be more abstract and easier to use.
Analyzing and implementing environment of verification and simulation is one issues among the LabSoC team interests (within the Ecole Nationale Superieure des Telecommunications in Sophia). The team proposes and develops toolkit, named Turtle, based on the Turtle UML profile (cf. http://labsoc.comelec.enst.fr/turtle/), for the modeling of real-time systems. It offers an analysis and verification methodology that is different, but not too far, from what is available in the area of distributed components.
The aim of this internship is to study the Turtle profile and the TTool editor, and use them to specify an example of ProActive component system. In a second phase, the student will specify the behavior of the same example using another type of UML diagram, based on Statecharts, et will compare the two approaches.
Lieu du Stage / Internship location:
The research takes place in Sophia Antipolis, within the OASIS research
team, a joint project between INRIA, CNRS-I3S, and University of Nice
Sophia Antipolis, in collaboration with the Labsoc at ENST Sophia.
Internship Director: Eric Madelaine
Phone: 04 92 38 78 07
email: eric.madelaine@sophia.inria.fr