*Result*: Génération de méta-programmes Java à partir des contraintes architecturales OCL

Title:
Génération de méta-programmes Java à partir des contraintes architecturales OCL
Contributors:
Unité de Recherche en développement et contrôle d'applications distribuées (REDCAD), المدرسة الوطنية للمهندسين بصفاقس = National Engineering School of Sfax (ENIS), جامعة صفاقس - Université de Sfax - University of Sfax-جامعة صفاقس - Université de Sfax - University of Sfax, Models And Reuse Engineering, Languages (MAREL), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)
Source:
3ème Conférence en IngénieriE du Logiciel
CIEL 2014 - 3e Conférence en IngénieriE du Logiciel
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104181
CIEL 2014 - 3e Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.56-70
Publisher Information:
CCSD
Publication Year:
2014
Collection:
LIRMM: HAL (Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier)
Subject Geographic:
Document Type:
*Conference* conference object
Language:
French
Rights:
info:eu-repo/semantics/OpenAccess
Accession Number:
edsbas.D9954E8B
Database:
BASE

*Further Information*

*National audience ; Afin de formaliser leurs choix de conception, les concepteurs des logiciels spécifient des contraintes sur les modèles de leurs applications. Il s'avère important de spécifier ces contraintes non seulement dans la phase de conception mais aussi dans la phase d'implémentation en les rendant vérifiables sur le code. La spécification de ces contraintes peut se faire manuellement mais celles-ci peuvent être obtenues automatiquement avec la génération de code de leurs modèles. Plusieurs travaux et outils existent permettant la génération automatique des différents modèles en code source. Cependant, la plupart de ces outils ne considèrent pas la génération des contraintes textuelles associées à ces modèles en code. Pour ceux qui le font, la transformation est appliquée sur des contraintes fonctionnelles mais non architecturales. Dans ce contexte, nous avons développé une méthode qui permet d'écrire des contraintes d’architecture d’un modèle donné en se basant sur son méta-modèle et ensuite générer du code à partir de ces contraintes sous la forme d’un méta-programme.*