Approche de transformation et vérification des architectures logicielle
Loading...
Date
2013
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
UNIVERSITE MOHAMED BOUDIAF M’SILA : FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE : Département d’Informatique
Abstract
L’aspect clé de conception du système logiciel, dans son plus haut niveau, est son architecture
globale dans lequel le système se présente comme un ensemble de composants et d’interconnexions
qui les relient.
Pour décrire une architecture logicielle les auteurs utilisent ce qu’on appelle les ADL (Architecture
Description Language), le langage UML et d’autres techniques. Nous cherchons dans ce travail de
fournir un outil basé sur EMF pour la description des AL. Cet outil utilise un ensemble de règles ATL
pour la transformation des AL en XML.
Description
Keywords
IDM, MDA, EMF, ATL, model transformation, architecture logicielle, composant.