Transformation M2M avec ATL

• Réalisé par:

Aissaoui Fatma

Bouabdelli Halima

Université Ibn Khaldoun - Tiaret Faculté des Mathématique et d’Informatique

Département d’Informatique

Enseignant responsable:

Mr B.Boudaa

Module: Génie Logiciel

2015/2016

Introduction

Model To Model « M2M »

Définition d’ATL

Vue d'ensemble de l'approche de transformation ATL

Présentation d’ATL

Les modes d’exécution des modules

• Le mode normal

• Le mode raffinage

XMI

Exemple (Tutoriel)

Conclusion

Introduction

1

Dans le domaine du génie logiciel, l’apparition de l’Ingénierie Dirigée par les

modèles (IDM) propose une démarche dont les deux originalités sont d’une part

la formulation des modèles, et d’autre part des programmes de transformation

de modèles que nous allons y s’intéresser dans notre travail.

Model To Model « M2M »

M2M: est la génération d’un ou plusieurs modèles cibles à partir d’un

ou de plusieurs modèles sources.

Transformation : ensemble de règles (correspondances entre

éléments du modèle source et éléments du modèle cible).

2

Définition d’ATL

ATL : est l’acronyme d’ATLAS Transformation Langage.

• Un langage de transformation de modèles dans le domaine de l’IDM ou MDE,

développé par l’équipe de recherche ATLAS INRIA & LINA

• Un moyen de spécifier la manière de produire un certain nombre de modèles

cibles à partir de modèles sources.

• Langage de transformation hybride (déclaratif et impératif).

3

Vue d'ensemble de l'approche de transformation ATL

• ATL s'utilise dans le contexte de transformation présenté dans la figure suivante :

Figure 01: Architecture d’ATL

4

• Dans la figure 01, un modèle source Ma est transformé en un modèle cible Mb.

La transformation est dirigée par un programme de transformation

mma2mmb.atl écrit en ATL. Ce programme est un modèle. Les modèles source

et cible ainsi que le programme de transformation sont conformes à leurs méta-

modèles respectifs :MMa, MMb et ATL. Ces méta-modèles sont conformes au

méta-méta-modèle Ecore.

5

Présentation d’ATL

Dans cette partie, nous présentons les fonctionnalités du langage ATL :

- En ATL, une transformation s'appelle un module.

• Structure d’une transformation (module) :

Déclaration du module

• Header section

Import de librairies

• Import section

Opérations

• Helpers

Règles de transformation

• Rules

6

• Header: donne le nom du module de transformation et déclare les modèles source et cible. - Exemple:

• Helpers : sont des fonctions ATL d’après le standard OCL sur le quel ATL se base. OCL définit deux sortes de helpers : opération et attribut.

• Import: sert à importer quelques bibliothèques ATL existantes.

helper def :carre(x: Real): Real =x * x;

module MyRules; create OUT : MM1 from IN : MM;

- Exemple de helpers opération :

- helpers attribut : sont des helpers sans paramètre.

7

rule ForExample { from i : InputMetaModel!InputElement to o : OutputMetaModel!OutputElement( attributeA <- i.attributeB, attributeB <- i.attributeC + i.attributeD ) }

• Rules: Définissent la façon dont les modèles cibles sont générés a partir de

modèles sources, on a deux types de règles: Matched rules et Called rules

8

Exemple de Matched rules:

• Les requêtes ATL : Opération qui calcule une valeur primitive d’un

ensemble de modèles de sources.

query query_name = exp;

• Les bibliothèques ATL : définir un ensemble de Helpers qui peuvent

être appelées à partir des différentes unités ATL.

9

Les modes d’exécution des modules

Le moteur d'exécution ATL définit deux modes d'exécution pour les différents modules ATL:

Le mode raffinage

Le mode normal

10

Le mode normal

• spécifier la manière dont les éléments de modèle cible doivent être générés

à partir des éléments du modèle source.

• Ce mode est spécifié par le mot clef from dans l’en-tête.

• Il est utilisé dans le cas d’une transformation

exogène : le méta-modèle source et cible sont

différents.

11

Le mode raffinage

• Un modèle M1 devient un modèle M2

• Ce mode est spécifié par le mot clef refining dans l’en-tête.

• Il est utilisé dans le cas d’une transformation

endogène : un même méta-modèle source et cible

12

XMI « XML Metadata Interchange »

Les modèles et leurs méta-modèles cibles et source prennent dans

l’environnement de développement Eclipse la forme de fichiers texte au

format xmi avec une extension .ecore.

XMI permet de représenter n’importe quel modèle sous forme de

document XML. Le principe de fonctionnement de XMI consiste à

générer automatiquement une specification de structuration de balises à

partir d’un méta-modèle.

13

Color: white Cle: 2

Rayon: 2

Color: black Cle: 6

Rayon: 5.5

Color: red Cle: 11

Rayon: 6.5 Architecture

14

• Principe de Tutoriel:

Figure 02: Modèle source des cercles

Color: white Cle: 2

Length: 2

Base Color: black

Cle: 6 Length: 5.5

Color: red Cle: 11

Length: 6.5

15

Figure 03: Modèle cible des carrés

Règle 1: Architecture à Base

Architecture Base

16

Règle 2: cercles vers carrés

17

Règle 3: relations vers relations

18

1 2

• Installation d’ATL:

1: Cliquer sur

Help » Install Modeling Components

2: Sélectionner ATL » Cliquer sur Finish

19

4: Sélectionner ‘ I accept …’

» Cliquer sur Finish

3: Cliquer sur Next

20

21

• Création d’un projet ATL

• Cliquer Sur:

New »Other »ATL Project »Next

22

5: Nommer le Projet

»Cliquer sur Finish

6: Projet Créé !

23

• Clique droit sur le Projet »New »Folder

• Nommer le Dossier » Cliquer sur Finish

• Créer un dossier dans le projet:

24

7: Répeter la procédure de création des dossiers dans le Projet » Et Créer les 3 dossiers suivants :

25

• Clique droit sur Metamodels

» New »Other

• Sélectionner Ecore Model

» Cliquer sur Next

26

• Sélectionner Metamodels

• Nommer le fichier .ecore

• Cliquer sur Finish

• Résultat

27

8: Dans la vue Properties Remplissez les champs comme

on a montré dans la figure.

• Résultat

28

• Clique droit sur le modèle ecore » Initialize Ecore Diagram

• Sélectionner Metamodels

» Nommer le fichier

» Cliquer sur Finish.

29

• Créer le Méta-modèle du cercle suivant:

Vue de type arbre (extension ecore)

30

• Créer un fichier .ecore pour le carré comme on a fait précédemment pour le cercle:

• Remplir les champs comme suit :

31

• Créer le Méta-modèle du carré suivant:

Vue de type arbre (extension ecore)

32

• Clique droit sur Architecture »Create Dynamic Instace

• Sélectionner Models »Nomme le fichier .xmi

•Résultat

33

• Construire les instances:

34

• Clique droit sur Architecture » New Child

»Relations Relation

• Sélectionner l’instance Relation »Remplir les champs pour faire la relation

35

• Clique droit sur Transformation

»New »Other

• Sélectionner ATL Fil1e

»appuyer sur Next

• Création d’un fichier de Transformation ATL:

36

• Sélectionner Transformations

»Nommer le fichier .atl

• Cliquer sur Add

37

• Cliquer sur Browse Workspace

• Sélectionner Circle_metamodel.ecore

» Cliquer sur Ok

38

• l’ajout des 2 Méta-modèles source et cible

• Cliquer sur Finish

• Résultat

39

• Les règles de correspondances

40

• Clique droit sur le fichier .atl »Run As »Run Configurations

41

• Création d’une nouvelle configuration

• Cliquer sur Workspace

42

• Sélectionner le fichier .atl » Ok

• Cliquer sur Workspace

43

• Sélectionner le fichier .xmi ‘‘ modèle source ’’ » Ok

• Copier le chemin du modèle source ,

coller le dans la zone du modèle cible

et modifier juste le nom du fichier .xmi

• Cliquer sur:

Apply » Run

44

• La transformation M2M est réussite !

Conclusion

45

ATL se base sur de nombreux standards tels que XMI, OCL et Ecore, et il a

même fait parti des contributions initiales au standard QVT de l'OMG.

Grâce à ce respect des standards, ATL peut s'insérer dans une chaîne d'outils

libres et bâtis sur Eclipse : UML2 avec Topcased ou Papyrus,

métamodèles avec EMF, modeleurs dédiés avec GMF, génération de code

avec Acceleo.

Merci !