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
  

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

Résumé

Le travail présenté dans cette mémoire est une contribution dans le domaine de l'Ingénierie Dirigée par les Modèles (IDM). Son principal objectif est l'application des techniques de la transformation de modèles, et plus précisément les approches hybrides, pour pouvoir appliquer des outils d'analyse et de vérification durant le processus de développement des systèmes complexes.

Le travail présenté dans ce cadre consiste en une approche et un outil pour la modélisation et la transformation des modèles ECore en modèles Event-B. L'outil est conçu en langage ATL sous l'environnement de développement Eclipse. Nous présenterons d'abord les deux méta-modèles de notre approche, ensuite nous présenterons un outil pour la transformation de ces modèles ECore en leurs équivalents dans le formalisme Event-B. Nous utiliserons l'outil RODIN pour prouver les propriétés des modèles Event-B.

Mots clés : Ingénierie Dirigée par les Modèles, Méta-modélisation, ECore, Méthode

Formelle Event-B.

Remerciements

Je remercie Dieu de m'avoir accorde des connaissances de la science et de m'avoir aidé à
réaliser ce travail.
Je souhaiterais manifester ma reconnaissance particulièrement à Mr "Mohamed Graiet"
pour son soutien et sa disponibilité. Son aide, son encouragement continu et ses conseils
m'ont été précieux afin de mener mon travail à bon port. J'espère être à la hauteur de sa
confiance. Qu'ils trouvent dans ce travail l'expression de ma profonde gratitude.
Par la même occasion, je tiens à remercier vivement tous les membres de jury pour leur
présence et leur coopération.
Encore, je remercie sincèrement tous les membres de ma famille, et plus particulièrement
mes parents, pour leur incessant soutien.
Un grand merci à tous et à toutes qui ont contribué de prés ou de loin au bon déroulement
de ce travail en particulier "Marwa Hamdi".
Enfin,merci à tout le corps enseignant qui a contribué à ma formation.

Dédicaces

À mon cher père "Boujemaa" (Dieu a son âme)
Qui a fait de moi ce que je suis aujourd'hui, qui m'a donné l'aide, le courage et l'amour
avec patience illimitée pour lequel je resterai redevable,mais il m'a quitté,je lui dédie ce
travail et j'espère qu'il soit content de moi.

À ma très chère mère " Fayza"

La personne qui m'a donné toute sa vie, qui a été très stressée pour ce projet, je lui dédie

ce travail.

À ma soeur « Henda », à son mari « Lacheheb » et à leur petit « Mohamed Yassine » À mes frères, à mes soeurs,

Que Dieu vous garde tous unis et vous procure tout le bonheur.

À mon amie « Marwa »,

Qui m'aide et m'encourage toujours avec toute façon.

À mes amies « Radhya », « Khouloud », et à tous mes amis,
Que je leur souhaite un grand succès dans leurs études et du bonheur.

À tous ceux que j'aime, à tous ceux qui m'aiment.

Qu'ils trouvent dans ce travail le témoignage de ma profonde gratitude.

BOUAZIZI Hana

i

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



Chez Mémé Coucou, gite à Lauzerte sur le chemin de compostelle