Abstract. Two important challenges for MDA designers are to make business rules independent of the platform specific model and to ensure that the resulting implementation does not violate the properties within these business rules. In this paper we present an approach that allows developers to both describe and verify domain properties at run time. In our approach, an ontology specifies domain properties that are translated to aspect-oriented code. This code is automatically merged in the implementation. As a result, we are able to execute validation tests at runtime and to generate business rules that can be reused in other MDA specific models. We evaluated our approach and toolkit by successfully reengineering an industrial furnace management application.
segunda-feira, 13 de fevereiro de 2012
- segunda-feira, fevereiro 13, 2012
- Jaguaraci Silva
- AspectJ, Business Rules, Domain, formal verification, MDA, Model-driven Architecture, Models, Programming Languages
- No comments
Assinar:
Postar comentários (Atom)
0 comments:
Postar um comentário