 |
HAL-LIRMM - Open Archive |  |
Journal articles
Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture
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, ou bien une règle de conception
générale. Ces spécifications peuvent être exprimées avec un langage standardisé
comme OCL. Elles sont la plupart du temps des spécifications brutes sans aucune
structure permettant leur paramétrage et réutilisation. Afin de pouvoir les vérifier
dans la phase d'implémentation nous proposons dans ce travail une méthode
pour traduire automatiquement ces spécifications 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, personnalisables 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étamodèle UML. Elle produit en sortie des composants programmés en
COMPO, un langage de programmation par composants réflexif développé par
notre équipe.
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02124391
Contributor : Isabelle Gouat <>
Submitted on : Thursday, May 9, 2019 - 3:06:40 PM
Last modification on : Friday, May 10, 2019 - 1:24:07 AM
Contributor : Isabelle Gouat <>
Submitted on : Thursday, May 9, 2019 - 3:06:40 PM
Last modification on : Friday, May 10, 2019 - 1:24:07 AM
