Resumo Técnico: ModARO - Uma Abordagem Modular para a Reconstrução de Arquitetura de Bases de Código de Microsserviços Distribuídos

1. Definição do Problema

Arquiteturas de microsserviços oferecem benefícios em escalabilidade e desenvolvimento independente, mas introduzem uma complexidade arquitetural significativa. Desenvolvedores lutam para manter a visibilidade de como mudanças em serviços individuais afetam o sistema global. Esse desafio é exacerbado pelo "drift arquitetural" (desvio arquitetural), onde o desenvolvimento rápido supera a documentação, e pela prevalência de configurações multi-repositório, onde os serviços são divididos em bases de código separadas.

Os métodos existentes de reconstrução automática de arquitetura enfrentam duas limitações primárias:

1. Falta de Reutilização: O código de reconstrução é frequentemente fortemente acoplado a stacks tecnológicas específicas (linguagens, bibliotecas, ferramentas de implantação) e convenções de projeto, tornando difícil sua reutilização em diferentes projetos.
2. Incapacidade de Lidar com Sistemas Distribuídos: A maioria das abordagens assume o acesso a uma base de código monolítica. Quando os microsserviços estão divididos em repositórios separados, ferramentas de reconstrução que rodam em um único repositório não conseguem enxergar o sistema completo, e a agregação centralizada de resultados anula os benefícios dos pipelines de CI/CD distribuídos.

2. Metodologia: A Abordagem ModARO

Os autores propõem o ModARO (MODular Architecture Reconstruction Orchestrator), um framework de análise estática projetado para reconstruir a arquitetura a partir de artefatos (código-fonte, arquivos de configuração) usando um fluxo de trabalho modular e agnóstico à tecnologia.

Componentes Principais

• Modelo de Arquitetura Compartilhado: O ModARO utiliza um modelo recursivo baseado em JSON para representar o sistema. Todas as informações extraídas são armazenadas como "entidades de modelo" (ex: microsserviços, requisições HTTP) dentro desta estrutura compartilhada. Os extratores não se comunicam diretamente; eles leem e escrevem neste modelo. Isso desacopla os extratores, permitindo que sejam substituídos ou atualizados sem afetar outros, desde que sigam o esquema acordado.
• Extratores: Estes são unidades de código modulares (implementadas como funções JavaScript no estudo) que aceitam uma entidade de modelo como entrada, analisam artefatos específicos e modificam a entidade para armazenar os dados extraídos.
  • Design Stateless (Sem Estado): Os extratores não possuem estado global; seu comportamento é definido inteiramente pela entidade de entrada e pelo reposit de código sendo analisado.
  • Registro de Esquema: Cada extrator registra um JSON Schema definindo a estrutura das entidades de modelo que ele aceita (ex: exigindo um campo $path). Isso garante que os dados sejam populados antes de um extrator ser executado.
• Algoritmo de Reconstrução: Um orquestrador recursivo que gerencia o fluxo de execução:
  1. Ele cria uma entidade de modelo de nível superior.
  2. Passa esta entidade para os extratores cujos esquemas coincidem.
  3. Os extratores podem criar novas sub-entidades (ex: identificando um microsserviço e criando uma nova entidade para ele).
  4. O algoritmo aciona recursivamente os extratores para essas novas entidades.
  5. Realiza múltiplas passagens para lidar com dependências onde a saída de um extrator habilita a entrada de outro.
  6. Detecta e lança erros em modificações conflitantes para garantir a integridade dos dados.

Reconstrução de Arquitetura Distribuída

O ModARO aborda os desafios de multi-repositório através de dois mecanismos:

1. Execução Independente: Cada repositório de microsserviço pode ser reconstruído individualmente. O resultado é um modelo parcial específico para aquele serviço.
2. Agregação de Modelo: Um algoritmo separado mescla os modelos parciais de diferentes repositórios em uma única visão da arquitetura. Ele realiza uma união recursiva de campos, fundindo informações únicas e sinalizando conflitos (ex: valores diferentes para o mesmo campo) como erros.
3. Vinculação Retroativa: Para definir relacionamentos (ex: Serviço A chama o Serviço B) sem conhecer os detalhes completos do alvo no momento da extração, o ModARO utiliza "links". Um link define um esquema (ex: "um microsserviço com o nome 'X'") para o alvo. Após a agregação, o sistema resolve esses links pesquisando no modelo combinado por entidades que correspondam ao esquema.

3. Principais Contribuições

• Framework de Extração Modular: Um design que permite escrever extratores para qualquer tecnologia e reutilizá-los em diferentes projetos, independentemente da stack circundante.
• Fluxo de Reconstrução Distribuída: Uma abordagem inovadora que permite a reconstrução em múltiplos repositórios, com saídas agregadas posteriormente, suportando o princípio de "acoplamento fraco" dos microsserviços.
• Vinculação Retroativa: Um mecanismo para definir relacionamentos entre serviços baseados em correspondência de esquema em vez de identificadores fixos (hard-coded), acomodando mudanças assíncronas de código.
• Validação Empírica:
  • Estudo de Caso: Aplicado a 10 projetos de microsserviços de código aberto (variando de 20k a 1.1M de LOC) usando diversas linguagens (Java, Python, Go, etc.) e tecnologias (Docker, Kubernetes, Spring, etc.).
  • Estudo com Usuários: Avaliado com 8 profissionais da indústria contra um baseline de estado da arte (ReSSA).

4. Resultados

Descobertas do Estudo de Caso (RQ1-RQ3)

• Capacidade de Reconstrução: O ModARO extraiu com sucesso uma ampla gama de informações arquiteturais (nomes de serviços, dependências, linguagens, endpoints) de todos os 10 projetos. Falhas na extração de dados específicos foram atribuídas às limitações inerentes da análise estática (ex: construção dinâmica de strings) ou documentação obscura, não a falhas na abordagem do ModARO.
• Reutilização: Dos 71 extratores desenvolvidos, 44 (62%) foram reutilizáveis entre projetos. Os 27 extratores específicos de projeto foram necessários devido a convenções únicas de projeto, estruturas de diretórios customizadas ou necessidade de coletar metadados específicos do projeto. Os autores observam que a capacidade de criar facilmente esses extratores customizados é uma força, não uma fraqueza.
• Suporte Distribuído: Os extratores foram reutilizados com sucesso tanto em contextos de mono-repo quanto multi-repo sem modificação. O algoritmo de agregação fundiu com sucesso modelos de repositórios separados, e os links retroativos foram resolvidos corretamente, embora o estudo tenha notado a necessidade de esquemas de link serem resolvíveis retroativamente em cenários complexos (ex: domínios armazenados em variáveis de ambiente em repositórios remotos).

Descobertas do Estudo com Usuários (RQ4)

• Utilidade e Usabilidade Percebidas: Os profissionais classificaram o ModARO como mais útil e fácil de usar do que o baseline ReSSA.
• Principais Vantagens: Os participantes preferiram o fluxo de trabalho baseado em código (JavaScript) do ModARO em relação à abordagem pesada em configuração (JSON com callbacks de string) do ReSSA. Eles citaram o melhor suporte a ferramentas (destaque de sintaxe, dicas de tipo) e a capacidade de processar dados em "código real" como fatores majoritários de usabilidade.
• Desafios: Ambos os métodos foram classificados de forma semelhante quanto ao desafio de filtragem de dados e extração de código. Os participantes expressaram desejo por capacidades de parsing mais avançadas do que expressões regulares, sugerindo que integrar parsers estruturados (como os do ReSSA) ao framework modular do ModARO seria benéfico.
• Abordagem Híbrida: Uma versão híbrida (ModARO orquestrando analisadores do ReSSA) recebeu as classificações mais altas, sugerindo que combinar a modularidade do ModARO com capacidades de parsing avançadas é uma direção promissora.

5. Significância e Alegações

O artigo afirma que o Modaro demonstra com sucesso um caminho viável para uma reconstrução de arquitetura modular e distribuída. Sua significância reside em:

• Desacoplar Tecnologia de Lógica: Ao usar um modelo compartilhado e registro baseado em esquema, o ModARO permite que desenvolvedores montem extratores adaptados às suas stacks tecnológicas específicas sem reescrever a lógica central.
• Suporte a Fluxos de Trabalho Modernos: Permite a integração da reconstrução de arquitetura nos pipelines de CI/CD de repositórios individuais de microsserviços, facilitando a "documentação contínua" e verificações de conformidade sem exigir uma visão monolítica de todo o sistema.
• Utilidade Prática: O estudo com usuários indica que a abordagem não é apenas teoricamente sólida, mas também praticamente utilizável por profissionais da indústria, ofereando uma interface mais intuitiva do que as ferramentas de análise estática existentes.

Os autores reconhecem modestamente que, embora a abordagem suporte uma ampla gama de tecnologias, o esquema específico usado para o modelo foi um protótipo para testes e exigiria maior desenvolvimento para aplicação industrial ampla. Eles também observam que a dependência atual de expressões regulares para o parsing de código é uma limitação que trabalhos futuros poderiam abordar através da integração de APIs de parsing mais sofisticadas.