INCORPORATING SEMANTIC ALGEBRA IN THE MDA FRAMEWORK

Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior

Abstract

Denotational semantics is commonly used to precisely define the meaning of a programming language. This meaning is given by functions that map syntactic elements to mathematically well defined sets called semantic algebra. Models in semantic algebra need to be processed through reductions towards a normal-form in order to allow the verification of semantics properties. MDA is a current trend that shifts the focus and effort from implementation to models, metamodels and transformations during the development process. In order to put forward denotational semantics in the MDA vision, we turn semantic algebra into an useful domain-specific language. In this context, this paper describes our proposed MOF metamodel and ATL reductions between the generated models. The metamodel serves as abstract syntax for semantic algebra. It is useful for static semantics verifications. The reductions enable processing towards a normal-form to compare semantics. This process can be guided by using some rewrite system.

References

  1. (2004). ADT: Eclipse development tools for ATL.
  2. Böhm, C., editor (1975). Lambda-Calculus and Computer Science Theory, volume 37 of Lecture Notes in Computer Science. Springer.
  3. Czarnecki, K. and Helsen, S. (2003). Classification of model transformation approaches. In Proceedings of the 2nd OOPSLA Workshop On Generative Techniques in the Context of the Model Driven Architecture.
  4. Dominguez, E., Rubio, A., and Zapata, M. Mapping models between different modeling languages. In Workshop on Integration and. Transformation of UML Models, 2002, pages 18-22.
  5. Kent, S., Gaito, S., and Ross, N. (1999). A meta-model semantics for structural constraints in UML. In Kilov, H., Rumpe, B., and Simmonds, I., editors, Behavioral specifications for businesses and systems, chapter 9, pages 123-141. Kluwer Academic Publishers, Norwell, MA.
  6. Kleppe, A. and Warmer, J. (2003). Do mda transformations preserve meaning? an investigation into preserving semantics. In International Workshop on Metamodelling for MDA.
  7. (2007). Model http://www.omg.org/mda/.
Download


Paper Citation


in Harvard Style

E. S. Barbosa P., Ramalho F., C. A. de Figueiredo J. and D. dos S. Junior A. (2008). INCORPORATING SEMANTIC ALGEBRA IN THE MDA FRAMEWORK . In Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: MUSE, (ICSOFT 2008) ISBN 978-989-8111-52-4, pages 330-336. DOI: 10.5220/0001899703300336


in Bibtex Style

@conference{muse08,
author={Paulo E. S. Barbosa and Franklin Ramalho and Jorge C. A. de Figueiredo and Antonio D. dos S. Junior},
title={INCORPORATING SEMANTIC ALGEBRA IN THE MDA FRAMEWORK},
booktitle={Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: MUSE, (ICSOFT 2008)},
year={2008},
pages={330-336},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001899703300336},
isbn={978-989-8111-52-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: MUSE, (ICSOFT 2008)
TI - INCORPORATING SEMANTIC ALGEBRA IN THE MDA FRAMEWORK
SN - 978-989-8111-52-4
AU - E. S. Barbosa P.
AU - Ramalho F.
AU - C. A. de Figueiredo J.
AU - D. dos S. Junior A.
PY - 2008
SP - 330
EP - 336
DO - 10.5220/0001899703300336