Approche MDA pour la transformation d un modèle UML en un schéma CWM. Antoine Wiedemann, Jean-Yves Lafaye, Marie-Christine Lafaye, Georges Louis

Transcription

1 Approche MDA pour la transformation d un modèle UML en un schéma CWM Antoine Wiedemann, Jean-Yves Lafaye, Marie-Christine Lafaye, Georges Louis

2 Plan Introduction Approche MDA (Model Driven Architecture) ATL (Atlas Transformation Language) Expérience d implémentation Bilan

3 Plan Introduction Approche MDA (Model Driven Architecture) ATL (Atlas Transformation Language) Expérience d implémentation Bilan

4 Conception de base de données Les AGL existants présentent des inconvénients: Non respect de la forme normale Manque d ergonomie Une nouvelle méthode Normalisation_L Un processus complet

5 Calculs Processus Diagramme de classe Choix Annotations Transformation Manuel Automatique Schéma relationnel Génération de code SQL Calculs BDD

6 Plan Introduction Approche MDA (Model Driven Architecture) ATL (Atlas Transformation Language) Expérience d implémentation Bilan

7 Model Driven Architecture (Standard OMG) Model Driven Engineering 1980 s Ingénierie Dirigée par les Modèles (IDM)

8 Modèle: «Abstraction, vue incomplète, simplification, description, représentation de quelque chose» Est représenté par Terrain Évolution de valeurs Suite d opérations, de calculs Carte Modèle financier Programme informatique

9 Metamodèle: «Langage de définition d un modèle» Est conforme à Carte Modèle financier Programme informatique Légende Langage mathématique Grammaire Java, C#, Smalltalk (documentation)

10 Meta-metamodèle : «description du langage utilisé pour l expression d un metamodèle» Est conforme à Légende, échelle Langage mathématique Grammaire Java, C#, Smalltalk (documentation) Langage naturel ou Langage spécifique à la définition de métamodèles.

11 Est conforme à Est conforme à Est conforme à Est conforme à Est représenté par Meta-meta-metamodèle M4 Meta-metamodèle M3 Metamodèle M2 modèle M1 réalité M0

12 Est conforme à Est conforme à Est conforme à Est représenté par Meta-metamodèle M3 MOF Metamodèle M2 UML 2.0 modèle M1 réalité M0 Diagramme de classes Système

13 Séparer les réflexions de conception des tâches d implantation. Avec des modèles: CIM Transfo PIM CIM: Computation Independant Model PIM: Platform Independant Model

14 Séparer les réflexions de conception des tâches d implantation. Avec des modèles: PIM Transfo 1 Transfo 2 Transfo 3 PSM 1 PSM 2 PSM 3 PIM: Platform Independant Model PSM: Platform Specific Model

15

16 Calculs Processus Diagramme de classe Choix Annotations Transformation Manuel Automatique Schéma relationnel Génération de code SQL Calculs BDD

17 Debut:Attribut name=debut Stage attribut /uniquekey :UniqueConstraint /ownedelement /uniquekey Stage Sujet:Attribut name=sujet attribut propriétaire Id_STG : integer Sujet : string Début : char propriétaire Fin [0..1] : char Stage:Classe_persistante name=stage Alias=STG propriétaire attribut Id_STG:Attribut name=id_stg attribut propriétaire Fin:Attribut {Unique} :PrimaryKey /feature :Column Name=Début col /uniquekey /ownedelement {Unique} /namespace /feature /namespace {Unique} :Column :Table Name=ID_STG col Name=Stage col /namespace /namespace /feature Id_S TG : integer :Column :Column Name=Numéro Sujet : string col Name=Fin col isnullable=columnnullable Debut : char Numéro : integer :Column ID_PROP Name=Tuteur : integer col isnullable=columnnullable SOUT.ID_STG : integer col Tuteur : string :Column Fin : char col Name=Sujet uppervalue symbol=1 Un:Expression name=fin lowervalue Zéro:Expression symbol=0 :Column :Column Name=ID_PROP /feature + Clé étrangères Name=SOUT.ID_STG isnullable=columnnullable /feature /uniquekey /ownedelement /ownedelement /uniquekey :UniqueConstraint :UniqueConstraint

18 M3 MOF Conforme à Conforme à M2 UML Spécification transformation CWM Conforme à Conforme à M1 Diagramme de classe Transformation Schéma relationnel

19 Plan Contexte Approche MDA (Model Driven Architecture) ATL (Atlas Transformation Language) Expérience d implémentation Bilan

20 Langage de programmation de transformation de modèle Développé à l INRIA de Nantes sur la plateforme eclipse Réponse à la proposition RFP QVT (Query View Transformation) De gros effort de promotion, une foule d exemples disponibles En exploitation dans l industrie (France Telecom, Thales )

21 M3 MOF Conforme à Conforme à M2 UML Spécification transformation CWM Conforme à Conforme à M1 Diagramme de classe Transformation Schéma relationnel

22 M3 Ecore (intégré à eclipse MOF à travers EMF) Conforme à Conforme à M2 fichier xmi UML.ecore Spécification Fichier.atl transformation fichier xmi CWM.ecore Conforme à Conforme à M1 Diagramme fichier xmi de.ecore classe Transformation Exécution fichier Schéma xmi relationnel.ecore

23 M3 Ecore (intégré à eclipse MOF à travers EMF) Conforme à Conforme à M2 fichier xmi UML.ecore Spécification Fichier.atl transformation fichier xmi CWM.ecore Conforme à Conforme à M1 Diagramme fichier xmi de.ecore classe Transformation Exécution fichier Schéma xmi relationnel.ecore

24 Fichier texte.km3 Spécification des métamodèles (niveau M2) Fichier xmi.ecore «Injecté» dans eclipse Interprété par l éditeur eclipse

25 Fichier xmi.ecore Spécification des modèles (niveau M1)

26 Spécification des modèles (niveau M1) Interprété et éditable dans eclipse

27 --Crée une table pour chaque classe persistante. rule Classe_Table { from classe : MDC!ClassePersistante to t : MLRnL!Table ( name <- classe.name, } ) istemporary <- false Formulation déclarative Ce que je cherche Ce que je crée en correspondance

28 --Crée une table pour chaque classe persistante. rule Classe_Table { from classe : MDC!ClassePersistante to t : MLRnL!Table ( name <- classe.name, } ) istemporary <- false Noms Type des variables

29 --Crée une table pour chaque classe persistante. rule Classe_Table { } from classe : MDC!ClassePersistante to t : MLRnL!Table ( ) name <- classe.name, istemporary <- false Metamodèle Element du source metamodèle source Metamodèle cible Element du metamodèle cible

30 --Crée une table pour chaque classe persistante. rule Classe_Table { from classe : MDC!ClassePersistante to t : MLRnL!Table ( name <- classe.name, } ) istemporary <- false Attributs de t Affectation d une valeur

31 --Crée une table pour chaque classe persistante. rule Classe_Table { from classe : MDC!ClassePersistante to t : MLRnL!Table ( name <- classe.name, } ) istemporary <- false Navigation vers l attribut name de la variable classe (OCL)

32 Plan Contexte Approche MDA ATL Expérience d implémentation Bilan

33 <<persistent_class>> Personne K1_PERS {Id_PERS} {Alias(PERS)} Id_PERS : undefined Nom : undefined Adresse : undefined K1_ETUD <<ID>> {Numéro} Un modèle du domaine de départ Niveau M1 <<persistent_class>> Enseignant {Alias(ENS)} <<persistent_class>> Proposition {Alias(PROP)} Sujet : undefined Lieu : undefined Date : undefined * 1 entreprise tuteur * * <<persistent_class>> Stage {Alias(STG)} Id_STG : undefined Sujet : undefined Début : undefined Fin [0..1] : undefined K1_PROP <<ID>> {ID_PROP} 1 1 <<persistent_class>> Etudiant {Alias(ETUD)} Numéro : undefined K1_STG <<ID>> {Id_STG} K2_STG <<ID>> {K_ETUD, Début} <<persistent_class>> Entreprise {Alias(ENT)} Siret : undefined Raison_sociale : undefined Adresse : undefined K1_SOUT <<ID>> {K_STG} K1_ENT <<ID>> {Siret} 0..1 <<persistent_class>> Soutenance {Alias(SOUT)} Date : undefined Salle : undefined

34 Le métamodèle source DirectedRelationship Generalization * generalization Namespace Relationship NamedElement name : string Element * constrainedelement PackageableElement MultiplicityElement Niveau M2 1 general 1 specific Classifier Type type 0..1 StructuralFeature TypedElement isordered : boolean isunique : boolean lowervalue 1 1 uppervalue UML Association 0..1 association Class 0..1 class AssociationClass 2..* memberend * ownedattribute Property * operand 0..1 expression Expression symbol : string ValueSpecification 0..1 specification Constraint

35 Le métamodèle source Constraint Generalization Generalisation_persistante 1 Association Class 1..* attribut Property Attribut Niveau M2 UML Extension Association_persistante 1 1 propriétaire {xor} Classe_persistante Symb_ID_exportable extrémité 1 Alias : string 1 1 CalculerEspace() * * * 1 origine 1 1 Arc_de_composition 1 * * {disjoin} /Nom : string Espace_de_recherche 1..* 1..* composant 1..* * ID Composant_identifiant * id_ci expression implicite 1..* ID_exportable

36 feature * 0..1 owner Feature 1 type Classifier * typedfeature StructuralFeature 1..* feature 1..* feature * keyrelationship KeyRelationship * keyrelationship * * /ownedelement /namespace 0..1 Class Attribute uniquekey 1 UniqueKey /ownedelement * 0..1 /namespace ColumnSet 1 Column 1..* /feature ForeignKey /ownedelement * Le métamodèle cible (CWM) Niveau M2 col * * /uniquekey UniqueConstraint PrimaryKey /ownedelement 1..* /ownedelement 1 /namespace /namespace 0..1 Table /namespace NamedColumnSet

37 Classe Table Attribut Colonne Colonne Généralisation Clé étrangère Contrainte d unicité Colonne Élément du métamodèle source Élément du métamodèle cible Symbole ID exportable Clé étrangère Colonne Colonne Colonne Contrainte d unicité

38 En fonction des multiplicités des extrémités de l association cas 1 Colonne Clé étrangère Contrainte d unicité Association cas 2 Colonne Colonne Clé étrangère Clé étrangère Contrainte d unicité Contrainte d unicité Élément du métamodèle source Élément du métamodèle cible

39

40 Plan Contexte Approche MDA ATL Expérience d implémentation Bilan

41 Avantages d ATL Formulation déclarative Expression «from to» intuitive Adéquation pour notre application Inconvénients d ATL Mise en œuvre technique Pour notre application, ergonomie faible Limitation de la forme déclarative

42 Sur l approche MDA Grande richesse et complexité de la métamodélisation Chaînage de transformations