INCORPORATING SEMANTIC ALGEBRA IN THE MDA FRAMEWORK

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

2008

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.

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