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

https://hal.archives-ouvertes.fr/hal-00832612
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

File

UBICC_MDA_B_aljer_BookC_ICIT20...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00832612, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

393

Files downloads

187