Extended Model driven Architecture to B Method

Ammar Aljer 1 Philippe Devienne 2
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : 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.
Document type :
Journal articles
Liste complète des métadonnées

Contributor : Philippe Devienne <>
Submitted on : Tuesday, June 11, 2013 - 4:21:18 PM
Last modification on : Thursday, February 21, 2019 - 10:52:48 AM
Document(s) archivé(s) le : Thursday, September 12, 2013 - 4:06:19 AM


Files produced by the author(s)


  • HAL Id : hal-00832612, version 1



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



Record views


Files downloads