Proposition de stage de

L’équipe-projet Sardes développe une approche de la construction de systèmes logiciels dynamiquement configurables (notamment systèmes d’exploitation et systèmes distribués) qui combine programmation par composants et programmation réflexive. L’équipe a en particulier développe ́ le modèle de composants Fractal [5]. Ce modèle de composants a éte ́ formellement défini dans le langage de spécification Alloy [8] et a fait l’objet de plusieurs implantations (dont l’implantation de référence en Java et une implantation en C). Objectifs du stage Le but du stage est d’amorcer une étude sémantique de a notion de composants logiciels telle que proposé dans le modèle Fractal en utilisant une approche coalgébrique. La notion de coalgèbre [9] fournit une approche très générale de la notion de comportement, qui généralise la notion de système de transition, ainsi que les notions standards de bisimulation et de logiques modales associées. Les travaux de Bonchi et Montanari en particulier [4, 3] ont montre ́ qu’une approche coalgébrique est tout a ̀ fait adaptée pour définir la sémantique de systèmes réactifs. Quelques travaux [1, 7, 6, 2] adoptent une telle approche pour formaliser la sémantique de composants logiciels. Malheureusement, ils ne considèrent que des assemblages de composants 1 essentiellement statiques, c’est-à-dire qui ne peuvent être modifiés en cours d’exécution comme c’est le ca