Skip to content
  Kermeta  
 

2nd kermeta workshop

Document Actions


            Journée Kermeta

Le mardi 10 Octobre 2006



Objectif de la journée Programme Comment s'inscrire ?


Objectif de la journée

Dans le cadre de la promotion des outils  pour l’IDM, nous proposons une journée de rencontre pour faire le point sur l’état de la recherche et de la pratique autour du langage Kermeta. Cette journée permettra de présenter les travaux en cours ou futurs liés à l’utilisation de Kermeta dans des contextes académiques ou industriels. Elle permettra aussi de travailler sur les collaborations avec les autres projets de développement d’outils pour l’IDM comme TopCaseD.

L’objectif de cette journée est de favoriser la participation de nombreuses équipes (chercheurs, enseignants, ingénieurs, industriels et étudiants). Une large place sera réservée au cours de cette journée :
    - à la présentation de retours d’expériences sur l’utilisation de Kermeta, 

    - à la promotion des développements en cours

    - et aux discussions au sujet des prochains développements pour élargir le champs d'utilisation de Kermeta.


Programme

I) Retour d'expérience sur l'utilisation de Kermeta

  • Chantal Eveline Kabore (thèse avec Antoine) 
    • Titre à définir
  • Marc Pantel et al :
    • Simulation et ingénierie des modèles
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
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
  • Triskell
    • RDL et Kermeta. 


II) Projets Connexes

  • Stephane Ducasse :
    • Using Smalltalk as a Reflective Executable Meta-Langage: An Experience Report.
  • Pierre Bazex et al
    • Présentation du projet Neptune. Utilisation d'OCL au niveau méta.
  • Antoine Beugnard : 
    • MOP Model Oriented Programming vs la TOP Transformation Oriented Programming

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

  • Marc Pantel et al :
    • TOPCASED, ingénierie des modèles pour les systèmes critiques 
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
  • Pierre Bazex et al
    • modélisation en UML et OCL de langages dédiés par Pierre Bazex
  • Pierre Alain / Franck Fleurey / Jean Marc Jézéquel
    • Model-Driven Analysis and Synthesis of Concrete Syntax

IV) Développement en cours pour Kermeta

  • Triskell members
    • Les contraintes
    • Les MDKs, Didier
    • The Java5 MDKs
    • Interaction Java Kermeta
    • The class Diagram composition

V) Au coeur de Kermeta : Présentation générale de l'architecture et utilisation de la version CVS.

(Pour ce qui le souhaitent à la fin selon la participation)

Modalité d'inscription

L'inscription est gratuite. Par souci d'organisation, veuillez nous signaler votre intention de participer à cette journée avant le 22 septembre 2006. On débutera la journée à 9h00. On terminera vers 18h00-18h15. La session V) sera traitée de 18h00 à 19h00 avec les volontaires.




Les organisateurs:

Franck Fleurey
Olivier Barais
Didier Vojtisek
Pierre-Alain Muller
Jean-Marc Jézéquel








http://www.kermeta.org