Aspects
de systemes reactifs - etude dans le cadre synchrone
K. Altisen, F. Maraninchi, D. Stauch
Resume :
La programmation des systèmes réactifs nécessite
de pouvoir construire des programmes à l'aide d'une
opération de mise en parallèle. L'expérience
de programmation des systèmes réactifs semble montrer que
certaines transformations de programmes qui reviennent souvent
s'apparentent à des aspects. La structure naturelle des
programmes étant le parallélisme, nous nous
intéressons à des aspects qui sont transversaux à
la structure parallèle d'un programme.
Les langages synchrones, parmi de nombreux autres, offrent des
opérations de mise en parallèle très simples
à formaliser. Nous nous plaçons donc dans un cadre
minimal de parallélisme synchrone, pour étudier ce que
pourraient être des aspects de systèmes réactifs
parallèles.
Dans cet exposé, nous présentons brièvement un
tout petit langage de programmation de systèmes réactifs
à base d'automates. Ensuite, par analogie avec les aspects d'un
langage comme AspectJ, nous montrons comment inventer un langage
d'aspects et des techniques de tissage statiques.