Un repositorio de modelos para acceso escalable : A model repository for scalable access.

Un Repositorio de Modelos para Acceso Escalable Tesis Doctoral de D. Javier Espinazo Pagan Dirigida por D. Jesus Joaquin Garcia Molina El trabajo presentado en esta tesis aborda los problemas de la persistencia y consulta de modelos en el ambito de la Ingenieria del Software Dirigida por Modelos. La persistencia de modelos es el servicio que proporciona el almacenamiento de modelos residentes en memoria en medios persistentes tales como las bases de datos. La consulta de modelos es el proceso de buscar dentro de un modelo un conjunto de elementos que satisfagan una determinada condicion. Los repositorios de modelos son una tecnologia emergente para la persistencia de grandes modelos, surgida para superar las limitaciones de la persistencia basada en XMI, que proporcionan acceso remoto a estos. En esta tesis presentamos Morsa, un repositorio de modelos enfocada a la escalabilidad e integracion. Ademas de la persistencia de modelos, el repositorio Morsa ofrece el lenguaje de consultas MorsaQL, que ha sido disenado con los objetivos de usabilidad, seguridad y eficiencia. Finalmente, para estudiar el estado del arte en las areas de la persistencia y consulta de modelos y asi poder desarrollar nuestras propias soluciones, hemos realizado un estudio y una comparativa de aproximaciones a ambas areas. Objetivos El objetivo principal de esta tesis es la creacion de un repositorio de modelos con especial enfasis en la escalabilidad para el manejo de grandes modelos y en la integracion transparente. Este repositorio ofrece dos servicios basicos: (i) la persistencia de modelos, que permite manejar modelos grandes y (ii) la consulta de modelos, que permite a un cliente obtener elementos de un modelo almacenado en el repositorio. Otro objetivo de esta tesis es el estudio del arte en las areas de la persistencia y consulta de modelos, realizando una comparativa de las soluciones existentes y definiendo un conjunto de dimensiones para caracterizar ambas areas. Metodologia El desarrollo de Morsa comenzo con un estudio del estado del arte para evaluar las soluciones de persistencia de modelos existentes y definir las dimensiones que caracterizan este area. Una vez completado este estudio, se procedio a elicitar los requisitos, entre los cuales cabe destacar la escalabilidad en el cliente y la integracion transparente. Posteriormente se procedio al diseno, implementacion y prueba de Morsa; para la evaluacion del repositorio, se realizo una comparativa con CDO, el repositorio de modelos mas utilizado en la actualidad, en la cual se demostrando la mayor eficiencia de Morsa. Una vez desarrollado Morsa, se procedio a la creacion de MorsaQL, un lenguaje de consultas integrado en el repositorio. De nuevo, se realizo un estudio del estado del arte en el area de la consulta de modelos, a partir del cual se elicitaron los requisitos fundamentales de eficiencia, usabilidad y seguridad. Tras el diseno, implementacion y prueba de MorsaQL, su evaluacion se realizo comparandolo con las principales soluciones de consulta de modelos disponibles actualmente, resultando mas eficiente y adecuado que el resto. Conclusiones El desarrollo de Morsa y MorsaQL, junto con el estudio del estado del arte realizado, nos ha proporcionado un conocimiento mas profundo de la problematica asociada a la persistencia y consulta de modelos. Por otro lado, la evaluacion de Morsa y MorsaQL y su comparacion con las principales soluciones existentes aportan un importante valor anadido en forma de recomendaciones para la utilizacion de unas u otras soluciones en funcion del uso que se les vaya a dar. Finalmente, el conocimiento adquirido nos ha permitido definir unas lineas generales de investigacion que seria beneficioso explorar de cara a conseguir una mayor alineacion de las tecnologias de la Ingenieria del Software Dirigida por Modelos. A Model Repository for Scalable Access Ph.D. Thesis by D. Javier Espinazo Pagan Supervised by D. Jesus Joaquin Garcia Molina The work presented in this thesis tackles the problems of model persistence and querying in the field of Model-Driven Engineering. Model persistence is the service that provides the storage of in-memory models into persistent media such as data bases. Model querying is the processo of searching a model fro a set of elements that satisfy a given condition. To overcome the limitations of XMI-based persistence, model repositories are emerging as persistence solutions for large models, providing remote access to them. In this thesis, we present Morsa, a model repository focused on scalability and integration. Morever, Morsa provides the MorsaQL model querying language, which has been designed with the goals of usability, safeness and efficiency. Finally, in order to study the state of the art of the areas of model persistence and model querying and gain the knowledge we needed to develop our own solutions, we have studied and compare the different approaches to both areas. Goals The main goal of this thesis is the creation of a model repository for managing large models with a special emphasys on scalability and transparent integration. This repository offers two basic services: (i) model persistence, which provides means to handle large models, and (ii) model querying, which allows a client to obtain elements from a model that is stored in the repository. Another goal of this thesis is the study of the state of art of the areas of model persistence and model querying, comparing the existing solutions and defining a set of dimensions that can be used to characterize both areas. Methodology The development of Morsa began with a stage dedicated to the study of the state of the art of model persistence in order to evaluate the existing approaches and define the dimensions that characterize this area. Once this study was completed, the requirements were elicited, with special focus on client scalability and transparent integration. Afterwards, the design, implementation and test of Morsa were performed; for the evaluation of the repository, a comparison between it and CDO, the most widely used repository, was done, demonstrating the greater efficiency of Morsa. The creation of MorsaQL was tackled once the development of Morsa was finished. To do this, a study of the state of the art of model querying was performed, eliciting the main requirements of efficiency, usability and safeness. After the design, implementation and test of MorsaQL, its evaluation was performed by comparing it against the main model querying approaches currently available, resulting in MorsaQL being the most efficient and suitable. Conclusions The development of Morsa and MorsaQL, as well as the study of the state of the art, have given us a profound knowledge on the problematics of model persistence and querying. Moreover, the evaluation of Morsa and MorsaQL and their comparison against the main existing solutions provide an added value in the form of recommendations for which solutions to use depending on some given needs. Finally, the knowledge we have adquired has allowed us to define some research guidelines that would be beneficial to explore in order to achieve a greater alignment between the different Model Driven Engineering technologies.