Extended Model driven Architecture to B Method

Ammar Aljer (1) , Philippe Devienne (2)

1 University of Aleppo = Université d'Alep
2 DART - Contributions of the Data parallelism to real time

Model Driven Architecture (MDA) design approach proposes to separate design into two stages: implementation independent stage then an implementation-dependent one. This improves the reusability, the reusability, the standability, the maintainability, etc. Here we show how MDA can be augmented using a formal refinement approach: B method. Doing so enables to gradually refine the development from the abstract specification to the executing implementation; furthermore it permits to prove the coherence between components in low levels even if they are implemented in different technologies.

Mots clés: MDA; B method; Co-design Refinement; Embedded System; VHDL

Domaines: Informatique et langage [cs.CL]

Ammar Aljer, Philippe Devienne. Extended Model driven Architecture to B Method. Ubiquitous Computing and Communication Journal , 2011, Special Issue on ICIT 2011. ⟨hal-00832612⟩