openArchitectureWare & transformation de modèle · PDF fileXtext: outillage pour...

© itemis France 2009 – All rights reserved 1

Yannick Lizzi

Architecte Logiciel

itemis France

Mail: [email protected]

openArchitectureWare & transformation de modèle


Itemis en quelques mots

Spécialisé dans l’ingénierie des modèles

Formations, Coaching, Consulting, Développement d’outils

Localisé en Allemagne, France, Suisse et Canada

Créé en 2003, 150 employés

Membre stratégique de la fondation Eclipse, 8 committers sur le projet Eclipse Modeling

Fort investissement dans la recherche

Collaboration intensive avec des laboratoires de recherche

Projets R&D locaux et européens

Clients dans des domaines multiples (embarqué, bancaire, télécom, assurance, …)

Bosch, Volkswagen, EADS, Airbus, Deutsche Post, T Mobile, PwC, …


Ingénierie des Modèles

Quelques concepts


Quelques concepts

Modèle : abstraction de la réalité

Formel / Non Formel

Graphique / Textuel

Méta-modèle: définit comment un modèle est construit

Syntaxe abstraite de modélisation

Ex: UML, DSL, Ecore (EMF)

Méta-Méta Modèle : définit la structure du méta-modèle

Ex: MOF, Ecore (EMOF)


Quelques concepts

MDA / MDSD

Utilisations de modèles formels

Pour générer du code

Pour faire de la transformation de modèle

Méta-modèle

Modèle

instanceof

Modèle

Générateur

Modèle

Transformation

Code généré Code manuel

Nouveau modèle

Pour : outil, générateur…

Plateforme


Ingénierie des Modèles

avec openArchitectureWare


Qu’est-ce que openArchitectureWare (oAW)

Un ensemble de technologies open source supports à l’IDM

Intégré à Eclipse Galileo

oAW inclut :

Xtext: outillage pour réaliser son propre DSL textuel (TMF / Xtext)

Xpand: langage de template pour la génération de code (M2T / Xpand)

Xtend: langage d’expression pour effectuer des opérations sur les modèles incluant la

transformation de modèle à modèle (M2T / Xpand)

Check: langage d’expression pour la vérification de modèle (M2T / Xpand)

Moteur de workflow pour enchainer les transformations et générations (EMFT / Modeling

Workflow - MWE)

Supporte EMF mais aussi UML2, XML/XSD & simple JavaBeans


Xtext

Editeur pour définir sa propre grammaire

Génère:

Meta-modèle ecore

Lexer / Parser

Editeur complet textuel Eclipse adapté à

la grammaire

S’intègre avec EMF, GMF

Personnalisable : architecture basée sur Google Guice

Méta-modèle Modèleinstanceof

Modèle

Générateur


Xtext

L’éditeur généré permet d’éditer le modèle en suivant les règles de la grammaire

Il supporte (personnalisable):

Complétion de code

Vérification syntaxique et sémantique

Affichage des erreurs

Coloration syntaxique

Gestion de la Outline

Navigation de type


Modèle

Générateur


Xpand

Langage de template spécialisé pour la génération de code

Editeur (complétion de code, coloration syntaxique, …)

Debugger

Supporte le polymorphisme de template

Programmation par aspect: possibilité d’intercepter le comportement d’un template (« around »)


Modèle

Générateur


Xtend

Langage d’expression permettant :

De définir des expressions complexes et réutilisables appelables depuis Xpand

De faire de la transformation de modèle

Supporte le polymorphisme et permet d’appeler du Java

Editeur spécifique (complétion, coloration syntaxique, …)


Modèle

Transformation


Check

Langage d’expression de type OCL pour la vérification de modèle

Peut être utilisé pour la vérification sémantique de l’éditeur généré pour une grammaire


Modèle

Vérification


Modeling Workflow Engine

Framework extensible pour enchainer des traitements de modèle

Fournit des composants de base : transformation, génération, vérification

Fournit des API pour définir ses propres composants

Langage XML, exécution depuis Eclipse ou en standalone


Transformation de modèle avec oAWMigration de diagrammes Rational Rose vers Topcased/UML


Contexte (politique)

Certains industriels souhaitent basculer vers des solutions open source pour la modélisation UML

Coût

Intégration avec des outils et processus de développement

Une étape clé, la phase de transition

Migration des modèles existants vers l’outil open source

A quel coût?

Topcased: environnement de développement open source pour les systèmes critiques

Basé sur Eclipse

Supporte plusieurs langages de modélisation, dont UML

Rational Rose vers Topcased/UML, automatisation possible ?


Contexte (technique)

Topcased s’appuie sur :

Eclipse UML2 pour les modèles

UMLDI (Diagram Interchange) pour le modèle de diagramme (layout, taille, couleur,…)

Rational Software Modeler permet de :

Lire un fichier Rose

Export au format UML2 (~ compatible avec Topcased)

Problème:

Le modèle UML2 exporté ne contient pas les diagrammes (données graphiques)

Format Rose n’est pas « ouvert »


Prototype de transformation Rose → Topcased

Entrée

Fichier Rational Rose (.mdl)

Fichier modèle UML2 (.uml) → obtenu grâce à l’export Rational Software Modeler

Sortie

Le modèle UML2 (.uml) légèrement modifié

Le modèle de diagramme (.umldi)

Diagrammes supportés

Diagramme des Cas d’Utilisation

Diagrammes de Classe

Diagrammes de Séquence


Architecture

openArchitectureWare (Xtend)

JavaBean meta-model

CrazyBeans model

UML2 meta-model Ecore meta-model

UML2 modelDiagrams &

DiagramInterchange models

Transformation

.mdl file .umldi file.uml file


Worflow

Parsing du modèle Rose model grâce à CrazyBeans

Librairie open source permettant de lire un fichier Rose

Créé une représentation objet du modèle Rose

Première transformation Xtend pour créer un modèle « bridge » intermédiaire

Liens entre les éléments Rose et les éléments UML2

Facilite la création du modèle de diagramme

Adaptation des éléments UML2 aux contraintes Topcased

Seconde transformation Xtend pour créer le modèle des diagrammes

Sérialisation des fichiers UML and UMLDI

Utilisation de TopcasedXmiWriter (EMF Resource) présent dans Topcased


: Librarian : Librarian

: LibrarianService : LibrarianService

: Book : Book

: BookDao : BookDao

createBook(Book)

addBook( )

Résultats en image


Merci pour votre attention!

Questions & Réponses

Date post:	09-Mar-2018
Category:	Documents
Upload:	lamphuc
View:	218 times
Download:	2 times

openArchitectureWare & transformation de modèle · PDF fileXtext: outillage pour...

Documents