Résumé
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.