An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations

@article{Barbosa2008AnEM,
  title={An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations},
  author={Paulo E. S. Barbosa and Franklin Ramalho and Jorge C. A. de Figueiredo and Antonio D. dos S. Junior},
  journal={2008 32nd Annual IEEE Software Engineering Workshop},
  year={2008},
  pages={33-42}
}
MDA is a current trend that shifts the focus and effort from implementation during the development process to models, metamodels and transformations. The four-layer MDA architecture still suffers from the lack of formalization of its artifacts and processes leading to ambiguity and low reliability problems. For instance, currently there is no way for ensuring that MDA transformations are semantic-preserving. In this paper we tackle this problem by incorporating well-consolidated formal methods… CONTINUE READING