Marco para la transformación de modelos basado en gramáticas de atributos

Abstract

El paradigma de desarrollo de software dirigido por modelos está tenido un importante auge debido a las múltiples ventajas que ofrece. La transformación de modelos es parte fundamental de dicha propuesta, ya que ofrece la forma de obtener automáticamente diferentes interpretaciones del sistema modelado, dependiendo del metamodelo que lo defina. Actualmente existen diferentes enfoques para realizar dichas transformaciones, tales como lenguajes gráficos, basados en gramáticas de grafos, manipulación directa vía API, basados en XSLT, propuestas de lenguajes relacionales, declarativos e híbridos, y basadas en gramática de atributos. Este último enfoque es de especial interés, por su formalidad y buenos resultados comprobados en problemáticas de computación similares, como la traducción de lenguajes. La propuesta de este proyecto de investigación pretende verificar la factibilidad de crear y utilizar un lenguaje de especificación de transformación de modelos dirigido por la sintaxis, basándose en el formalismo de las gramáticas de atributos. Para comprobar e investigar las cualidades de dicho enfoque se ha desarrollado un marco de transformaciones llamado Attribute Grammar Transformer – AGT, el cual consta de un metamodelo para la representación de transformaciones, un lenguaje de especificación denominado AGTL (Attribute Grammar Transformer Language), un traductor de AGTL a instancias del citado metamodelo, y un motor de evaluación de atributos / transformación. En este proyecto se explora, además, la aplicabilidad práctica de AGT mediante su uso en un caso de estudio relativo a tutoriales interactivos. [ABSTRAC] The Model Driven Software Development paradigm is currently a hot topic in Software Engineering, which exhibits many different advantages during the construction of software systems. Model transformation is a key aspect of this proposal, since it makes possible the automatic generation of multiple interpretations of the same modeled system depending on the metamodel used. Currently there are different approaches to carry out model transformations, such as: graphical languages, based on graph grammars, direct manipulation based on a suitable API, use of XSLT, relational, declarative and hybrid languages, and proposals based on attribute grammars. The last one is particularly relevant because it is a formal approach and it has shown good performance in similar problems in computer science (e.j., language translation). The goal of this research project is to verify the feasibility of creating and using a syntax-directed transformation specification language based on attribute grammars. In order to achieve this goal, we have developed a framework called Attribute Grammar Transformer – AGT, which includes: a metamodel for representing transformations, a specification language called AGTL (Attribute Grammar Transformer Language), a translator from AGTL to instances of the aforementioned metamodel, and an evaluation / transformation engine. Also, this project explores the practical applicability of AGT through a case study regarding interactive tutorials.