Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture

Sahar Kallel 1 Bastien Tramoni 1 Chouki Tibermacine 1 Christophe Dony 1 Ahmed Hadj Kacem 2
1 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 REDCAD - Unité de Recherche en développement et contrôle d'applications distribuées
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.
Document type :
Journal articles
Complete list of metadatas
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

Identifiers

  • HAL Id : lirmm-02124391, version 1

Collections

LIRMM | MAREL | MIPS | UNIV-MONTPELLIER

Citation

Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem. Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture. Revue des Nouvelles Technologies de l'Information, Hermann, 2015, CAL 2015, RNTI-L-8, pp.61-78. ⟨lirmm-02124391⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

14

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD