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.
Type de document :
Communication dans un congrès
CAL: Conférence sur les Architectures Logicielles, May 2015, Hammamet, Tunisie. 2015, 9ème édition de la Conférence sur les Architectures Logicielles (CAL'15). 〈http://conf.laas.fr/CAL2015/〉
Liste complète des métadonnées

Littérature citée [35 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01235417
Contributeur : Chouki Tibermacine <>
Soumis le : lundi 30 novembre 2015 - 11:08:14
Dernière modification le : jeudi 24 mai 2018 - 15:59:22
Document(s) archivé(s) le : samedi 29 avril 2017 - 00:06:10

Fichier

SKetAl_CAL_2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2015, 9ème édition de la Conférence sur les Architectures Logicielles (CAL'15). 〈http://conf.laas.fr/CAL2015/〉. 〈lirmm-01235417〉

Partager

Métriques

Consultations de la notice

172

Téléchargements de fichiers

244