Identificação de Violações de Arquitetura num Cenário de Desenvolvimento Orientado a Modelo

A arquitetura de uma aplicação consiste na definição de componentes e nas relações de dependência permitidas entre os mesmos, as quais chamamos de regras arquiteturais. Em uma abordagem MDA, as transformações de modelo fornecem o mapeamento entre os artefatos e os componentes da arquitetura. A partir da análise do código fonte e da aplicação destas regras, o arquiteto pode identificar as relações de dependência não permitidas, definidas como violações de arquitetura. A proposta desta tese é automatizar a identificação de tais violações nos cenários de desenvolvimento orientado a modelo com geração completa ou parcial de código. Na abordagem de geração completa, a proposta permite identificar violações oriundas de evoluções das transformações de modelo. Na abordagem de geração parcial, além de monitorar violações originadas em evoluções de transformações, a proposta também permite validar se o código inserido em pontos de implementação obedecem as regras arquiteturais pré-definidas.