Programme de l'atelier

14h-15h20 : Présentations

15h20-15h30 : Pause

15h30-16h30 : Discussion

16h30-17h : Synthèse

L'atelier a lieu à la médiathèque « José Cabanis » de Toulouse le jeudi 29 mars 2007 de 14h à 17h (vie pratique).

Problématiques et Objectifs de l'atelier


L'atelier souhaite réunir les communautés de l'Ingéniérie Dirigée par les Modèles et de la Sémantique des Languages, dans l'objectif de développer les techniques qui permettent d'exprimer et exploiter la sémantique au niveau des modèles et méta-modèles. En effet, dans le cadre de l'Ingénierie Dirigée par les Modèles, il devient nécessaire d'exprimer une sémantique comportementale pour chaque langage de modélisation (DSML, Domain Specific Modeling Language). Ceci est particulièrement le cas pour les modèles utilisés dans le cadre de systèmes critiques (temps réel, embarqués, fiable, redondant, performant...) qui imposent de valider les solutions envisagés au plus tôt dans le processus de développement. Actuellement, la sémantique comportementale est généralement décrite de manière ad-hoc pour un DSML particulier et il est difficile de corréler les différentes sémantiques utilisées pour concevoir un même système.

De nombreux projets sont en cours de réalisation s'appuyant sur l'IDM pour la validation de systèmes critiques. C'est par exemple le cas dans les projets Topcased, SPICES, GeneAuto, OpenEmbeDD, Modelware... L'expression de la sémantique est un point majeur de ces différentes initiatives avec des solutions différentes. Il devient important de capitaliser les solutions proposées pour construire une ingénierie de la sémantique en (méta-)modélisation. SéMo'07 a pour objectif de faire converger les travaux de différentes communautés autour de la sémantique. Le but est de partager nos expériences afin d'analyser et de déterminer des techniques plus générales pour l'expression de la sémantique.


Les thèmes sur lesquels porteront, entre autre, les contributions à cet atelier sont les suivants :

Organisation de l'atelier et soumission des articles


SéMo'07 se déroulera le 29 mars 2007 après-midi. L'atelier commencera par une présentation courte des articles retenus (10-15 minutes, questions comprises). Suivront des travaux menés en petits groupes sur des thèmes plus restreints se dégageant des différentes soumissions. L'atelier se terminera par la présentation des résultats des différents groupes. La langue officielle de l'atelier sera le français. Les soumissions et les présentations pourront se faire en français ou en anglais.

Pour faciliter l'édition des actes, ces soumissions doivent être conformes au format de la revue Hermès. Les propositions de communication doivent être déposées au plus tard le 15 février 2007 au format PDF ou PostScript sur le serveur de dépôt des articles. Les soumissions ne doivent pas excéder 6 pages (au format Hermès). Les articles seront publiés dans les actes de la conférence IDM'07.

Dates importantes :

  • Déclaration d'intention : au plus tôt (résumé)
  • Date limite de réception : 15 février 2007 (extended deadline)
  • Notification aux auteurs : 28 février 2007
  • Réception des articles définitifs : 7 mars 2007
  • Déroulement de l'atelier : 29 mars 2007, après-midi.

Comité de Programme


Comité d'Organisation (FéRIA)