Towards synchronizing relations between artifacts in the Java technological space

Abstract

O uso de modelos em processos de engenharia de software tem crescido nos últimos anos. Ao passo que o uso cresce, cresce também a relevância de alguns problemas relacionados à área. Um deles é o problema de sincronização de modelos, que consiste basicamente em manter todos os modelos de uma aplicação de software consistentes entre si. Em outras palavras, os modelos de um software tendem a ser mudados ao longo do seu tempo de vida, e quando isto acontece, estas mudanças têm que ser devidamente despachadas a todos os modelos. Para aplicações de software de grande porte é inviável realizar tal procedimento de sincronização manualmente, portanto, é desejada a criação de métodos automáticos capazes de sincronizar os modelos do software. Não exploramos este problema para qualquer tipo de software, ao invés disso limitamos nosso domínio ao espaço tecnológico Java, de maneira que o escopo deste trabalho permaneça factível. Procede-se, aqui, portanto (1) identificando e definindo formalmente alguns modelos do espaço tecnológico Java, (2) identificando e formalizando algumas relações entre eles, criando uma rede de metamodelos a ser mantida sincronizada, e mostrando como essas relações trabalham através de um caso representativo, e por fim (3) discutindo a sincronização desta rede de metamodelos. Os resultados incluem a implementação dessas relações e o relatório sobre a experiência do desenvolvimento deste trabalho.

The use of models in software engineering processes has grown in the last few years. And as it grows, grows also the relevance of some problems related to the realm. One of them is the model synchronization problem, that basically consists in keeping all the models of a software application consistent between themselves. In other words, the models of a software tend to be changed over its lifetime, and as it happens, these changes have to be properly forwarded to all the models regarding this software. For large software applications it is clearly inviable to perform such synchronization procedure manually, therefore, it is desired the creation of automatic methods able to synchronize the software’s models. We do not explore this problem for any kind of software, instead we limit our domain to the Java technological space, so that the scope of this thesis still remains feasible. This thesis thus proceeds by (1) identifying and formally defining some models of the Java technological space, (2) identifying and formalizing some relations between them, creating a network of metamodels supposed to be kept synchronized, and showing through a representative showcase how these relations work, and finally (3) discussing the synchronization of this network of metamodels. The outcomes include the implementation of these relations plus the report about the experience of developing it in this thesis.