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
Related Posts:
OWLtoAspectJ: Uma Ferramenta para Transformação de Regras Conceituais de Domínio em Aspectos Abstract. The axioms are rules or affirmations of the truth on concepts and its creation is essential to carry through inferences on ontology. The axioms when generated for a programming language provoke one high coupling … Read More
Separação e Validação de Regras de Negócio MDA através de Ontologias e Orientação à Aspectos 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 busin… Read More
Proposta de uma Arquitetura para o Gerenciamento de Regras de Negócio em LPS com Base na MDA Abstract. Are upheld in the SPL domain all business rules that define semantics links between entities for its completeness. By any change in business needs implies to keep of these rules up-to-date and is necessary… Read More
Uma Nova Abordagem para Validação de Regras de Negócio Através de Transformação e Composição de Modelos MDA 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 busin… Read More
Assinar:
Postar comentários (Atom)
0 comments:
Postar um comentário