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 :
- Sémantique des langages,
- Extension comportementale de DSL : méta-programmation, sémantique de traduction ...
- Prise en compte des points de variation sémantique dans un MDD,
- Application des techniques de langages de programmation à l'IDM,
- Techniques pour la validation de modèles : vérification formelle, simulation, test...
- Modèles de calculs (models of computation)
- Comparaison des modèles de calcul (par une sémantique abstraite)
- Outillage (environnement d'exécution, de simulation...)
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.