ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 31/7 - 2012  - pp.839-868  - doi:10.3166/tsi.31.839-868
TITRE
Transformation exogène de Wright vers Ada

TITLE
Exogenous transformation from Wright to 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érifiés 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.



ABSTRACT

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 abstract. 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 ATL to transform software architecture described in Wright to a concurrent program in Ada.



AUTEUR(S)
Mohamed TAHAR BHIRI, Farah FOURATI, Mourad KMIMECH, Mohamed GRAIET

MOTS-CLÉS
IDM, opération de transformation exogène, ATL, injection, Xtext, Wright, extraction, Xpand, Ada et Check.

KEYWORDS
MDE, exogenous transformation, ATL, injection, Xtext, Wright, extraction, Xpand, Ada and Check.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (321 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier