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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00457118
Contributor : Thomas Ledoux <>
Submitted on : Tuesday, February 16, 2010 - 4:13:00 PM
Last modification on : Tuesday, December 4, 2018 - 9:04:02 AM

Identifiers

  • HAL Id : hal-00457118, version 1

Citation

Marc Léger, Thierry Coupaye, Thomas Ledoux. Contrôle dynamique de l'intégrité des communications dans les architectures à composants. LMO 2006, 2006, Nîmes, France. pp.21-36. ⟨hal-00457118⟩

Share

Metrics

Record views

242