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

Première partie

5

Etat de l'art

6

1 Ingénierie dirigée par les modèles

Sommaire

1.1 Introduction 7

1.2 L'Ingénierie dirigée par les modèles(IDM) 7

1.2.1 Principe et concepts généraux de l'IDM 7

1.2.2 L 'Approche MDA (Model Driven Architecture) 8

1.3 Transformation de modèles 10

1.3.1 Principe géneral d'une transformation 10

1.3.2 Types de transformation 11

1.3.3 Taxonomies des transformations 12

1.3.4 Paradigmes de transformation 12

1.4 Langage de transformation de modèles ATL 14

1.4.1 Vue d'ensemble sur la transformation ATL 15

1.4.2 Présentation d'ATL 16

1.5 La plateforme de modélisation sous Eclipse 18

1.5.1 Eclipse Modeling Framework (EMF) 18

1.5.2 XML Metadata Interchange (XMI) 19

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

1.6.1 Structure générale d'un template Xpand 20

1.7 Le langage Check pour la vérification de contraintes 21

1.8 MWE (Modeling Workflow Engine) 22

1.9 Conclusion 23

page 7

1.1 Introduction

1.1 Introduction

L

a complexité, la variété des technologies existantes et l'accroissement des besoins font

aujourd'hui le domaine dans du développement logiciel un véritable défi. Pour réagir
face, il est nécessaire d'offrir une approche permettant d'abstraire toutes les complexités technologique. Dans ce contexte, l'approche Ingénierie Dirigée par les Modèles(IDM) a émergé comme une discipline récente du génie logiciel en ouvrant des nouvelles voies d'investigation pour répondre aux nouveaux besoins et présenter des nouvelles solutions conceptuelles qui permettent de suivre l'évolution croissante des applications.

Dans ce chapitre, nous consacrerons aux concepts de base de l'Ingénierie Dirigée par les Modèles (IDM) qui couvrent les disciplines dans lesquelles les modèles jouent un rôle principal. Nous nous intéresserons également à la transformation des modèles. Et enfin nous présenterons la plateforme Eclipse utilisée dans ce mémoire.

1.2 L'Ingénierie dirigée par les modèles(IDM)

L'Ingénierie Dirigée par les Modèles (IDM), ou Model Driven Engineering (MDE) en anglais, évoque plusieurs améliorations significatives dans le développement de systèmes complexes en permettant de se concentrer sur une préoccupation plus abstraite que la programmation classique.

1.2.1 Principe et concepts généraux de l'IDM

Le principe de l'IDM consiste à utiliser intensivement les modèles tout au long du processus de développement logiciel. Les modèles devront des entités interprétables par les machines non seulement au coeur du processus. Donc le principe de base de cette approche consiste à dire que « tout est modèle »[10].

page 8

1.2 L'Ingénierie dirigée par les modèles(IDM)

La figure 1.1 présente les relations de bases dans IDM.

FIGURE 1.1 - les relations de bases dans IDM

La Figure 1.1 représente les concepts généraux de l'IDM ainsi que la relation entre ces concepts. En effet, le modèle écrit dans un méta-modèle donné sera dit « instance de ». On rencontre également cette relation sous la forme « conforme à » c'est-à-dire un modèle est conforme à son méta-modèle.

La Figure 1.2 monte un exemple qui présente les relations de bases dans IDM.

FIGURE 1.2 - Exemple montrant les relations de bases dans IDM.

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








"Qui vit sans folie n'est pas si sage qu'il croit."   La Rochefoucault