Skip to Main content Skip to Navigation
Conference papers

Traduction de spécifications de contraintes d'architecture en composants exécutables

Sahar Kallel 1, 2 Chouki Tibermacine 2 Bastien Tramoni 2 Christophe Dony 2
2 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Résumé : Les contraintes d'architecture sont des spécifications définies par les développeurs dans la phase de conception, qui permettent de vérifier, après une évolution de l'architecture, si sa description est encore conforme aux conditions imposées par un patron ou un style architectural. Ces spécifications peuvent être exprimées avec un langage standardisé comme OCL (Object Constraint Language). Afin de vérifier ces contraintes d'architecture dans la phase d' implémentation nous devrions soit: i) réécrire entièrement ces contraintes avec un langage qui est interprétable dans cette phase de développement , ou ii) développer de nouveaux interpréteurs pour le langage de contrainte (OCL, par exemple) qui peuvent analyser le code des programmes sur lesquels les contraintes doivent être vérifiées. Ce dernier choix est difficile à mettre en œuvre et nécessite beaucoup de travail. Cependant, même en optant pour la première solution, la tâche de réécrire entièrement les contraintes dans la phase d' implémentation est fastidieuse et source d'erreurs. Nous proposons dans ce travail une méthode pour traduire les spécifications de contraintes d'architecture en composants exécutables. En plus de les rendre vérifiables en phase d'implémentation, nous avons choisi de cibler les composants logiciels afin de rendre ces contraintes d'architecture réutilisables et composables. Puisque les contraintes d'architecture doivent analyser les descriptions d'architecture, les composants générés utilisent le mécanisme de réflexivité standard fourni par le langage de programmation. Notre implémentation prend en entrée des contraintes OCL spécifiées sur le méta-modèle UML. Elle produit des composants programmés en COMPO, un langage de programmation par composants.
Document type :
Conference papers
Complete list of metadata

Cited literature [35 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01235417
Contributor : Chouki Tibermacine <>
Submitted on : Monday, November 30, 2015 - 11:08:14 AM
Last modification on : Monday, October 19, 2020 - 11:06:58 AM
Long-term archiving on: : Saturday, April 29, 2017 - 12:06:10 AM

File

SKetAl_CAL_2015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01235417, version 1

Collections

Citation

Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony. Traduction de spécifications de contraintes d'architecture en composants exécutables. CAL: Conférence sur les Architectures Logicielles, May 2015, Hammamet, Tunisie. ⟨lirmm-01235417⟩

Share

Metrics

Record views

240

Files downloads

448