Programmation par aspects et systèmes réactifs
| INRIA Rhône-Alpes, projet PopArt |
Verimag, équipe synchrone |
| Eric Rutten,
Pascal
Fradet |
Karine Altisen, Florence Maraninchi |
Objectifs
L'action
s'intéresse aux relations entre d'une part, les systèmes
réactifs, pour lesquels on dispose de langages à la
sémantique
formellement bien fondée dans les systèmes de transitions
étiquetées, et d'autre part, la programmation par
aspects, qui permet de concevoir des systèmes en dissociant la
spécification de différents aspects ou vues, pour obtenir
le système résultant par une
opération de tissage. Un sujet innovant consiste à
considérer les aspects dans le cadre des systèmes
réactifs, ce qui permet d'enrichir les langages réactifs
et les fonctionnalités offertes
à leurs utilisateurs, et aussi de proposer dans ce cadre
spécifique une définition formelle des aspects, sur
laquelle fonder des outils automatisés de tissage.
Dans le
domaine de la programmation sûre des systèmes
embarqués, combiner modularité de la conception et outils
formels est difficile. L'approche peut faire avancer
l'utilisabilité des méthodes formelles
par des non-spécialistes, en l'intégrant dans un
processus
de compilation ou synthèse.
Evénements, rencontres, documents
(chronologie de la vie de CTRL-a)
- Description de CTRL-a : proposition de l'action
- 22-23 mai 2003, Grenoble : Eric Rutten + Florence Maraninchi + Hervé Marchand + Pascal Fradet + Karine Altisen
Thèmes :
- synthèse de contrôleur modulaire (H. Marchand) ;
- introduction à la programmation par aspects (P. Fradet) ;
- aspects et systèmes réactifs, pistes de réflexion (F. Maraninchi)
- 27 octobre 2003, Grenoble : Pascal Fradet + Eric Rutten + Florence Maraninchi + Karine Altisen
Thème : proposition d'un schéma sémantique pour spécifier des aspects dans les systèmes réactifs (K. Altisen)
- 3 décembre 2003, Marseille : Workshop SYNCHRON'03
"Aspect For Reactive Systems", F. Maraninchi : présentation du travail en cours, résumé et transparents
- 9 décembre 2003, Grenoble : Pascal Fradet + Eric Rutten + Florence Maraninchi + Karine Altisen + David Stauch
Thème : discussion autour des réactions suscitées par la présentation précédente
- 21 janvier 2004, Grenoble : Stéphane Hong Tuan Ha + Pascal Fradet + Eric Rutten + Florence Maraninchi + David Stauch + Gregor Goessler + Karine Altisen
Thème : aspects de composition, problèmes d'ordonnancement de réseau de Kahn (S. Hong Tuan Ha)
- 11 février 2004, Grenoble : Pascal Fradet + Eric Rutten + Florence Maraninchi + David Stauch + Karine Altisen
Thème : discussion sur les modèles de programme
- 12 mars 2004, Grenoble : Pascal Fradet + Eric Rutten + Florence Maraninchi + Karine Altisen
Thème : début de formalisation de l'impact d'un aspect sur un programme
- 23 mars 2004, Lancaster, UK : Foundation of Aspect Oriented Languages 04
"Exploring Aspects in the Context of Reactive Systems" ; présentation : Florence Maraninchi
- 21 avril, Grenoble :
Liens avec le sujet
- FOAL : Foundations of Aspect-Oriented Languages