Transformation exogène de Wright vers Ada

摘要

résumé. L'ADL formel Wright permet de décrire les aspects structuraux et comportementaux d'une architecture logicielle abstraite. Les aspects comportementaux sont décrits en CSP et vérifies avec le model-checker FDR, alors que l'ADL Wright n 'offre aucun moyen permettant de concrétiser de telles architectures abstraites. L'objectif de cet article est d'ouvrir l'ADL Wright sur Ada en suivant une approche d'automatisation de type IDM. Pour y parvenir, nous avons élaboré deux métamodèles : le métamodèle partiel Wright et le métamodèle partiel d' Ada. De plus, nous avons con?u, réalisé et testé l'outil Wright2Ada permettant de transformer une architecture logicielle décrite en Wright vers un programme concurrent en Ada. L'outil Wright2Ada utilise avec profit les langages IDM : Xtext, Check, ATL et Xpand.%The formal ADL Wright allows to describe the structural and behavioral aspects of abstract software architecture. The behavioral aspects are described in CSP and checked using the model-checker FDR. While the ADL Wright does not offer any means to realize such architectures The objective of this work is to open up the ADL Wright for Ada through an automated approach based on MDE. To achieve this, we have developed two Ecore meta-models: the partial meta-model of Wright and the partial meta-model of Ada. Moreover, we have designed, built and tested our program Wright2Ada written in A TL to transform software architecture described in Wright to a concurrent program in Ada.