Extended Model driven Architecture to B Method
Document type :
Compte-rendu et recension critique d'ouvrage
Title :
Extended Model driven Architecture to B Method
Author(s) :
Aljer, Ammar [Auteur]
Laboratoire de Génie Civil et Géo-Environnement (LGCgE) - ULR 4515 [LGCgE]
Université de Lille
Laboratoire de Génie Civil et Géo-Environnement (LGCgE) - ULR 4515 [LGCgE]
Université de Lille
Journal title :
Ubiquitous Computing and Communication Journal
Pages :
34-42
Publication date :
2012
ISSN :
1992-8424
English keyword(s) :
MDA
B method
Co-design Refinement
Embedded System
VHDL
B method
Co-design Refinement
Embedded System
VHDL
HAL domain(s) :
Informatique [cs]
English abstract : [en]
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 ...
Show more >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.Show less >
Show more >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.Show less >
Language :
Anglais
Popular science :
Non
Source :