Contrôle dynamique de l'intégrité des communications dans les architectures à composants

Assurer la conformite entre la specification d'une architecture logicielle a base de composants et son implementation repose sur le respect d'un certain nombre de contraintes structurelles. L'integrite des communications, qui est l'une de ces contraintes, est garantie statiquement a la compilation dans ArchJava. Cependant, dans le cas d'un modele plus ouvert comme Fractal l'ensemble des reconfigurations dynamiques du systeme ne sont pas determinees a la compilation. Nous nous interessons donc aux violations possibles de l'integrite des communications dans Julia, une implementation de Fractal en Java, puis nous proposons un mecanisme dynamique de controle de cette integrite dans Julia.