Extended Model driven Architecture to B MethodReport as inadecuate




Extended Model driven Architecture to B Method - Download this document for free, or read online. Document in PDF available to download.

1 Université d-Alep 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.





Author: Ammar Aljer - Philippe Devienne -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents