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
| 
