Transformação de modelos independente de metamodelos usando reflexão

Abstract

Resumo: A integração de técnicas de programação por restrições em plataformas de engenharia dirigida por modelos (MDE) tem como objetivo principal usar resolvedores de programação por restrições para execução de operações sobre modelos. As operações são chamadas operações de busca, pois buscam instâncias válidas de modelos baseada em um conjunto de restrições. Entretanto, as plataformas MDE existentes possuem formatos incompatíveis com os formatos das soluções dos resolvedores atuais. Por isso é necessário desenvolver mecanismos de interoperabilidade. Existem diferentes abordagens para automatizar esta integraçao, normalmente baseada na execução de uma cadeia de transformações, sendo uma das mais conhecidas chamada "modelagem como busca". Esta abordagem especifica quais operações são necessárias para, a partir de um modelo e metamodelo de entrada, produzir uma especificação no formato do resolvedor, e como transformar o resultado produzido por um resolvedor em um modelo e metamodelo. Entretanto, esta e as demais abordagens são baseadas em transformações de modelo que são implementadas sobre os elementos de metamodelos. Com isso, para cada metamodelo de saída, é necessário implementar uma transformação do formato do resolvedor para um modelo conforme a este metamodelo, tornando a abordagem inviável. Este trabalho propõe um conjunto de transformações para automatizar a cadeia de operações da abordagem de modelagem como busca. Dentre as diferentes transformações, damos destaque a transformação do modelo do formato do resolvedor para o metamodelo de saída. Esta transformação ser'a desenvolvida sem conhecimento prévio dos elementos do metamodelo, estes serão interpretados durante a execução, sendo assim chamada de "transformação independente de metamodelos". Apresentaremos a formalização da cadeia de operações, e esta ser'a implementada em dois casos de uso, mostrando sua factibilidade.

Abstract: The integration of constraint programming techniques with model-driven engineering (MDE) platforms has as main objective to use constraint programming solvers to perform operations on models. These operations are called search operations, because they search valid model instances based on a set of constraints. However, the existing MDE platforms have incompatible formats with the formats of the solutions produced by the current solvers. Therefore it is necessary to develop mechanisms for interoperability. There are different approaches to automate that integration, usually based on the execution of a chain of transformations, one of the most known approach is called "model search". This approach specifies what operations are needed to produce, from an input model and metamodel, an specification in the solver’s format, and how to turn the result produced by a solver into a model and metamodel. Yet, this and the other approaches are based on model transformations that are implemented over the elements of metamodels. Thus, for each output metamodel, it is necessary to implement a transformation of the solver’s format to a model conforming to this metamodel, making the approach difficult to implement. This work proposes a set of transformations to automate the chain of operations of the model search approach, focusing on the interoperability part. Among the different transformations, we highlight the model transformation from the solver’s format to the output metamodel. This transformation will be developed without prior knowledge of the metamodel elements, these are interpreted at runtime, thus being called "metamodel independent transformation."We will present the formalization of the chain of operations, and this chain will be implemented in two use cases, showing its feasibility.