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

2.6 Conclusion

ans ce chapitre, nous avons présenté la méta-modélisation ECore en détaillant les concepts de ce méta-modèle pour l'utiliser dans notre approche de transformation .Aussi nous avons édité un modèle ECore d'un Système Bancaire « Bank » conforme au méta-modèle ECore.

Dans le chapitre suivant, nous allons présenter un aperçu sur le langage formel Event-B que nous avons choisi dans notre contexte de transformation.

précédent sommaire suivant

Changeons ce systeme injuste, Soyez votre propre syndic

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