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 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.

Full paper here!!

Follow @jaguaracisilva

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 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.

Full paper here!!

Follow @jaguaracisilva

Read More

Formal Verification of an Application Domain using MDA and OWL

Abstract— The applications conceptual models, during the requirements identification phase, uses an independent platform model for abstract a great part of the system specification without a formal verification, be either syntactic or semantic. This paper proposes an architecture for constructing MDA models using OWL (Ontology Web Language) formalizing concepts about application domain and reducing the time of models.

Full paper here!!

Follow @jaguaracisilva

Read More