2.6 Conclusion
D
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.
39
| 
