Ces modèles et métamodèles qui nous entourent! Cédric Dumoulin - DaRT

Transcription

1 Ces modèles et métamodèles qui nous entourent! Cédric Dumoulin - DaRT

2 Qu est ce qu un modèle Définitions (Wikipedia by Google) «Un modèle mathématique est une traduction de la réalité pour pouvoir lui appliquer les outils, les techniques et les théories mathématiques» «[En économie] Un modèle est une représentation de la réalité.» «En informatique, un modèle a pour objectif de structurer les données, les traitements, et les flux d'informations entre entités.» C est une abstraction de la réalité

3 Qu est-ce qu un modèle One and Three Chairs" by Joseph Kosuth «This artwork is about different ways to show ideas. It presents one chair and three different ways of picturing this same chair.»

4 Qu est-ce qu un modèle Une carte routière

5 Qu est-ce qu un modèle autre plan plan d évacuation

6 Qu est-ce qu un modèle One and Three Chairs" by Joseph Kosuth «This artwork is about different ways to show ideas. It presents one chair and three different ways of picturing this same chair.»

7 Qu est-ce qu un modèle Un plan d architecte

8 Pourquoi modéliser? Que font les ingénieurs? Avant de construire de vraies choses ils construisent d abord des modèles les étudient, et tirent des conclusions

9 Pourquoi modéliser? Modèle de l ingénieur Représentation réduite d un système Système modélisé Modèle Objectifs Aider à comprendre un problème complexe ou une solution Communiquer à propos d un problème complexe ou d une solution

10 Avantages d un modèle Abstrait Il fait ressortir les points importants tout en enlevant les détails non nécessaires Compréhensible Il permet d exprimer une chose complexe dans une forme plus facilement compréhensible par l observateur Précis Il représente fidèlement le système modélisé Prédictif Il permet de faire des prévisions correcte sur le système modélisé Peu coûteux Il est bien moins coûteux à construire et étudier que le système lui même

11 Les modèles et l informatique pour faire un programme complexe, on a besoin de le modéliser. Article * -prix -reference -stock 0..1 Catalogue 1 pour explorer les solutions, pour les valider, pour montrer au client ce que sera l application. Video Titre 1 Album Description * Support -descriptionsupport UML : Unified Modeling Langage

12 Pourquoi comprend t-on un modèle? Parce qu il est simple? Parce qu il représente la réalité? Parce qu il existe une légende!

13 Pourquoi comprend t-on un modèle? La légende c est l explication des concepts /dessins du modèle la grammaire du modèle Mettre image legende carte La légende est elle même un modèle! On l appelle un métamodèle Existe-t-il un métamodèle décrivant le modèle-légende? nom, nom, = dessin, dessin, c est le méta-métamodèle Existe-t-il un métamodèle décrivant le modèle décrivant le modèle-légende? Et si oui, Existe-t-il

14 Récapitulons! Modèle et Métamodèle Standardisé par l OMG méta-métamodèle langage pour décrire des langages ce décrit lui-même! métamodèle langage pour décrire des modèles modèle abstraction de la réalité Le monde réel

15 Qu est ce que l IDM Ingénierie Dirigée par les Modèles Met le modèle au cœur des processus Part d un ou plusieurs modèles rme vers un autre modèle jusqu à avoir du code Ce n est pas nouveau : une compilation est aussi une rmation! Tr Tr Compilation/Tr

16 A quoi sert l IDM?? avantages abstraction, réutilisation, pérennité, automatisation, contrôles et tests à différents niveaux unification des processus compiler = rmer des modèles on peut réutiliser les travaux fait sur la compilation Conception puis développement == changement de niveau d abstraction (de modèle)

17 IDM vs MDA Model Driven Architecture Architecture Dirigé par les Modèles Modèle proposé par l OMG (le nom est déposé!) Part d un CIM (Computation Independent Model) Transforme en PIM (Platform Independent Model) Puis en PSM (Platform Specific Model) Et génère le code Variante particulière de l IDM Plus restrictive

18 Quelques outils actuels Papyrus UML modeleur UML 2 open source Éclipse - EMF framework pour manipuler modèle et métamodèle QVT (QVTO) standard pour rmer des modèles M2T (Acceleo) standard pour la génération de texte (code)

19 D autres Modèles et Métamodèles méta-métamodèle métamodèle modèle monde réel Texte, Livre ebnf syntaxe ebnf Langage Informatique XML schema schema

20 PARTIE 2

21 IDM en pratique Comment structurer un projet IDM? Comment utiliser le projet? Comment modéliser un métamodèle, un modèle? J ai fait un métamodèle, que puis-je faire avec? Comment fonctionnent les rmations, la génération de texte/code?

22 IDM en pratique Structure typique d un projet MM1.1 MM1.2 haut niveau d abstraction MM2 MM2 MM C++ MM Java MM.net code C++ code Java code.net code

23 IDM en pratique Structure typique d un projet MM1.1 MM1.2 vérification simulations, MM C++ MM2 MM2 MM Java MM.net Métamodèles rmations génération de code/texte optionnel : vérifications, simulations, tests, génération code C++ génération code Java génération code.net

24 Utilisation du projet Point de vue utilisateur Modèle 1.1 Modèle 1.2 vérification simulations, Modèle C++ Modèle 2 Modèle 2 exécuter Modèle Java Modèle.net L utilisateur appuie sur le bouton L application produit le texte/code génération code C++ génération code Java génération code.net

25 Utilisation du projet Derrière la scène Modèle 1.1 Modèle 1.2 vérification simulations, Modèle C++ Modèle 2 Modèle 2 Modèle Java Modèle.net L application produit les modèles intermédiaire Effectue les testes, les vérifications, les simulations, génération code C++ génération code Java génération code.net

26 Construire un métamodèle 1 concept 1 (méta)classe 1 relation entre concepts 1 association entre classes Peut se faire en UML Exemple : bibliothèque de livres

27 Du métamodèle aux outils pour manipuler les modèles manipulation édition arborescente sauvegarde édition graphique Le tout en quelques minutes!!!

28 D un modèle à l autre La rmation de modèles métamodèle d entrée typé par règles typé par métamodèle de de sortie sortie conforme à lit conforme à modèle d entrée lit produit modele modèle de de sortie sortie

29 Du modèle au code La génération de code métamodèle d entrée conforme à typé par templates lit modèle d entrée lit produit code code code

30 Saisir un modèle, Quel éditeur utiliser? Editeur arborescent Editeur graphique GMF Editeur graphique home made Modeleur UML + profil directement avec le code java pas toujours intuitif demande une bonne compréhension du modèle plus près du domaine adapté au prototypage rapide modèle graphique complexe à faire problème d ergonomie, customisation limité très bien adapté au domaine - temps de réalisation Ergonomie du modeleur Le même éditeur pour différent modéles Adaptation au domaine grâce au profil associé Profile à définir - une rmation à prévoir (UML MM domaine)

31 Demo! Modéliser une ville les rues les bâtiments les habitants Générer les programmes Java pour manipuler des modèles de villes Construire des modèles!! Mieux que les syms!!

32 Métamodèle d une ville

33 En savoir plus Wikipedia OMG UML, QVT, M2T, Eclipse Modeling Eclipse EMF Tutorial : Help > Help Contents > EMF Developer Guide > Tutorials > Generating an EMF Model Papyrus modeleur UML Open Source Papyrus I CEA - LIFL Papyrus II (Juin 2010) projet Eclipse CEA LIFL Airbus Atos QVTo Acceleo

34