WOW !! MUCH LOVE ! SO WORLD PEACE !
Fond bitcoin pour l'amélioration du site: 1memzGeKS7CB3ECNkzSn2qHwxU6NZoJ8o
  Dogecoin (tips/pourboires): DCLoo9Dd4qECqpMLurdgGnaoqbftj16Nvp


Home | Publier un mémoire | Une page au hasard

 > 

Une approche IDM du transformation du modèle ecore vers event-b.

( Télécharger le fichier original )
par Bouazizi Hana
FSM - Mastère recherche 2014
  

précédent sommaire suivant

Bitcoin is a swarm of cyber hornets serving the goddess of wisdom, feeding on the fire of truth, exponentially growing ever smarter, faster, and stronger behind a wall of encrypted energy

1.5 La plateforme de modélisation sous Eclipse

Nous présentons brièvement les outils de modélisation de la plateforme Eclipse utilisés au cours de notre travail. Cette présentation concerne EMF, XMI.

1.5.1 Eclipse Modeling Framework (EMF)

L'outil principal utilisé durant ce mémoire est Eclipse Modeling Framework, EMF est une plate-forme de modélisation et de génération de code qui facilite la construction d'outils. Il s'agit d'un ensemble d'outils de développement intégré à l'environnement Eclipse sous forme de plugins.EMF a été conçu pour simplifier le chargement, la manipulation et la sauvegarde de modèles au sein de l'environnement Eclipse.

Il repose sur un formalisme de description de méta-modèles nommé ECore. Ce formalisme est un sous-ensemble de la norme EMOF (Essential MOF), elle-même étant un sous-ensemble de MOF [13].

Parmi les fonctionnalités d'EMF, on peut citer :

~ La génération automatique d'un simple éditeur graphique permettant l'édition des modèles sous forme arborescente, c'est-dire générer automatiquement, à partir d'un méta-modèle,

~ La génération des interfaces de manipulation des modèles consiste à fournir des interfaces graphiques génériques pour manipuler des modèles.

page 19

1.5 La plateforme de modélisation sous Eclipse

~ Un éditeur graphique offrant une vue arborescente d'un modèle. Chacun des noeuds de l'éditeur représentera une instance d'une méta-classe,

~ Enfin, la génération de code, c'est bien là son objectif premier, améliore la productivité de développement d'application par l'automatisation de la génération de code à partir du modèle. Effectivement, une fois le modèle créé « quelques clics » suffisent à cette génération.

Un aperçu d'un fichier ECore ouvert avec son éditeur est illustré par la Figure 1.8.

FIGURE 1.8 - Aperçu d'un fichier ECore ouvert avec son éditeur

L'arbre de navigation est utilisé pour naviguer et créer des éléments ECore avec un clic sur l'emplacement souhaité, on a aussi l'éditeur des propriétés est utilisé pour modifier des éléments ECore.

1.5.2 XML Metadata Interchange (XMI)

Le format XMI permet la sérialisation des modèles sous un format physique. Comme son nom l'indique, XMI reprend la syntaxe XML (Extensible Markup Langage), conçue autour du principe de balises [13].

page 20

1.6 Le langage de génération de code Xpand

Un aperçu d'un fichier XMI ouvert avec son éditeur est donné par la Figure 1.9.

FIGURE 1.9 - Exemple d'un fichier XMI

L'arbre de navigation est utilisé pour naviguer et créer de nouvelles instances XMI avec un clic sur l'emplacement souhaité. La deuxième ligne définit l'instance racine. L'éditeur de propriétés est utilisé pour modifier les instances et établir les liens entre les instances.

précédent sommaire suivant






Bitcoin is a swarm of cyber hornets serving the goddess of wisdom, feeding on the fire of truth, exponentially growing ever smarter, faster, and stronger behind a wall of encrypted energy








"Le doute est le commencement de la sagesse"   Aristote