Contrôle dynamique de l'intégrité des communications dans les architectures à composants
Résumé
Assurer la conformité entre la spécification d'une architecture logicielle à base de composants et son implémentation repose sur le respect d'un certain nombre de contraintes structurelles. L'intégrité des communications, qui est l'une de ces contraintes, est garantie statiquement à la compilation dans ArchJava. Cependant, dans le cas d'un modèle plus ouvert comme Fractal l'ensemble des reconfigurations dynamiques du système ne sont pas déterminées à la compilation. Nous nous intéressons donc aux violations possibles de l'intégrité des communications dans Julia, une implémentation de Fractal en Java, puis nous proposons un mécanisme dynamique de contrôle de cette intégrité dans Julia.