Programme du Workshop Kermeta

Programme de la journée Kermeta

le 10 octobre 2006

Introduction 9h00 - 9h45

• Jean-Marc Jézéquel - Franck Fleurey

  • Ouverture de la journée

  • Un tour d'horizon de Kermeta    pres

I) Retour d'expérience sur l'utilisation de Kermeta 9h45 -12h00

• Chantal Eveline Kabore

  • Conception de composants répartis par transformation de modèle    pres

• Jean-Rémy Falleri

• Restructuration automatique de hiérarchies de classes    pres

La définition d'une hiérarchie de classes est une étape cruciale dans la modélisation d'une application orientée objet. Nous allons présenter trois transformations de modèles  successives qui permettent d'analyser et de restructurer une hiérarchie de classes existante. A  l'issue de ces transformations, la hiérarchie de classes initiale sera complétée par de nouvelles classes améliorant la factorisation des propriétés de la hiérarchie. L'objectif à long terme de ces travaux
est l'implémentation d'un outil permettant la restructuration automatique de n'importe quel modèle dont le méta-modèle est conforme à Ecore.

• Marc Pantel et al :

  • Simulation et ingénierie des modèles    pres

La conception de systèmes critiques repose pour la validation des modèles sur l'utilisation de simulateurs dédiés aux différents types de modèles. L'ingénierie des modèles s'appuie sur la méta-modélisation pour simplifier la construction d'outils communs aux différents types de modèles. Nous présenterons différentes approches possibles pour l'intégration de simulateur en ingénierie des modèles.

• Sémantique et méta-modélisation    pres

La validation formelle des modèles repose sur l'existence de sémantiques des langages de modélisations. Nous présenterons les différentes approches possibles pour définir cette sémantique au niveau des méta-modèles.

• Joel Champau et al :

  • Modèle de transformation entre AADL et IF    pres

• David Touzet 

  • Model-Driven Requirement Engineering pres

II) Projets Connexes 13h45 - 15h15

• Stephane Ducasse :    

• Using Smalltalk as a Reflective Executable Meta-Langage: An Experience Report.    pres

• Pierre Bazex et al

  • Présentation du projet Neptune. Utilisation d'OCL au niveau méta.    pres

Suite à de nombreux retours d’expérience d’utilisateurs tant académiques qu’industriels, la plateforme NEPTUNE (Nice Environment with a Process and Tools Using Norms and Examples) intègre aujourd’hui de nouvelles fonctionnalités comme la manipulation simultanée de plusieurs métamodèles et la prise en compte de la norme OCL 2.0. Cet atelier permet actuellement la validation statique de modèles pour s’assurer de la bonne application d’un processus, du respect de propriétés avant et après transformations, et de la détection de patrons de conception. Il s’inscrit, plus généralement, dans un contexte concernant l’assistance à la définition de modèles. Cette architecture, modulaire pour être évolutive et extensible, se matérialise par un ensemble de composants destinés à la prise en compte de métamodèles, de modèles conformes à ces métamodèles et de règles OCL pour la validation statique de modèles.

• Antoine Beugnard : 

  • MOP Model Oriented Programming vs la TOP Transformation Oriented Programming    pres

III) Du méta-modèle vers différentes syntaxes concrètes 15h45 - 17h15

• Marc Pantel et al :

  • TOPCASED, ingénierie des modèles pour les systèmes critiques     pres

Le projet TOPCASED vise à définir et réaliser un atelier «open source»pour la conception et la réalisation de systèmes critiques en s'appuyantsur les techniques d'ingénierie des modèles et de validation formelle.

• Jérôme delatour et al :     

  • Retour d'expérience sur GMF    pres

• Pierre Bazex et al

  • modélisation en UML et OCL de langages dédiés par Pierre Bazex    pres

Les applications de l’informatique embarquée se retrouvent dans des domaines de plus en plus variés tels que les transports, les télécommunications, l’aéronautique, le spatial, … Ces applications requièrent un niveau de qualité des programmes dont les langages doivent permettre de répondre aux deux questions suivantes : 

• Comment donner une définition précise de ces langages, tout en restant accessible aux experts de ces domaines ?
• Comment intégrer logiquement à un processus de développement ces langages permettant à ces mêmes experts de s’assurer de la qualité requise de leurs applications ?

Nous inspirant de travaux de J. Malenfant sur la modélisation de langages en UML complétée par des spécifications OCL, nous montrons comment dans un contexte MDA, un processus de développement peut être défini par une succession de transformations de modèles UML, vérifiables en des points clés du développement, se terminant par une génération de code vers des langages cibles d’un même domaine, tenant compte explicitement de leurs différences sémantiques. Nous illustrons cette approche dans le cadre de la programmation de procédures opérationnelles utilisées dans des engins de l’espace.

• Pierre Alain / Franck Fleurey / Jean Marc Jézéquel

  • Model-Driven Analysis and Synthesis of Concrete Syntax    pres

IV) Développement en cours pour Kermeta 17h15 - 18h00

• Triskell members

  • Les contraintes

  • Les MDKs (Model Development Kits)

  • The Java5 MDKs

  • Interaction Java Kermeta

  • The class Diagram composition