A Multi-Agent Consensus Protocol for Stable Software Remodularization

Resumo Técnico: Um Protocolo de Consenso Multiagente para Remodularização Estável de Software

Declaração do Problema
As abordagens atuais para remodularização automática de software geralmente enquadram a tarefa como um problema de otimização de objetivo único, frequentemente maximizando métricas estruturais como o TurboMQ para melhorar a coesão e reduzir o acoplamento. Embora metaheurísticas recentes tenham melhorado a eficiência da busca, esses métodos falham em abordar uma restrição pragmática crítica: a estabilidade evolutiva. Uma decomposição que maximiza a qualidade estrutural, mas difere significativamente da versão anterior do sistema, impõe um pesado ônus cognitivo aos desenvolvedores. As ferramentas existentes são "cegas ao orçamento", ignorando a estabilidade ou fundindo-a em uma soma ponderada fixa com coeficientes arbitrários, carecendo assim da capacidade de impor restrições estritas de estabilidade ou adaptar-se a preferências específicas das partes interessadas.

Metodologia: Protocolo de Concessão Monótona Assimétrica (AMCP)
Os autores reenquadram a modularização de software não como um problema de otimização estática, mas como um problema de consenso distribuído entre agentes autônomos. O framework proposto introduz dois agentes com funções de utilidade conflitantes:

1. Agente de Coesão ($A_{coh}$): Esforça-se para maximizar a densidade estrutural usando uma métrica TurboMQ normalizada.
2. Agente de Estabilidade ($A_{sta}$): Busca preservar o layout da versão anterior ($D_{prev}$) minimizando a distância Move-plus-Join (MoJo).

O mecanismo central é o Protocolo de Concessão Monótona Assimétrica (AMCP). Neste protocolo:

• Assimetria: O Agente de Estabilidade atua como o único proponente, refletindo o cenário real de manutenção onde a arquitetura legada é o estado padrão. O Agente de Coesão aceita implicitamente movimentos que melhoram a coesão sem violar o piso de estabilidade.
• Lógica de Concessão: O Agente de Estabilidade avalia potenciais reatribuições de módulos únicos e seleciona o movimento que minimiza a Razão de Concessão ($R(\delta)$). Essa razão representa o custo na utilidade de estabilidade por unidade de ganho na utilidade de coesão.
• Limites: O protocolo impõe limites de sobrevivência explícitos ($\tau_{sta}$ e $\tau_{coh}$). Se um movimento violar o orçamento de estabilidade ($\tau_{sta}$), ele é rejeitado.
• Terminação: A negociação termina quando nenhum movimento válido existe que melhore a coesão enquanto respeita o limite de estabilidade, ou quando o conjunto de movimentos válidos se esgota.

Principais Contribuições

1. Modelo Matemático Formal: O artigo estabelece um modelo formal de remodularização de software como um problema de consenso distribuído entre agentes orientados por utilidade.
2. O Protocolo AMCP: Os autores propõem o AMCP, que inclui provas formais para:
   • Terminação Finita: O protocolo é garantido para terminar em um número finito de passos (limitado por $n \cdot (k_{max} - 1)$), pois utiliza a Utilidade de Coesão como uma função estrita de Lyapunov.
   • Racionalidade (Estratégia de Zeuthen): O comportamento do protocolo mapeia para a Estratégia de Zeuthen, garantindo que os agentes façam concessões mínimas necessárias para satisfazer o oponente, priorizando concessões "baratas" primeiro.
   • Satisfatoriedade Pareto Local: A partição resultante é localmente satisfatória de Pareto dentro da vizinhança de movimento único, significando que nenhuma reatribuição única pode melhorar estritamente a coesão sem violar o limite de estabilidade.
3. Análise de Complexidade: A abordagem poda efetivamente o espaço de busca, avaliando $O(n \cdot k)$ candidatos por passo, contrastando com o espaço de estados exponencial de metaheurísticas baseadas em população.

Resultados Experimentais
Experimentos preliminares foram conduzidos em um benchmark sintético e no framework Java Xwork (113 classes, 10 pacotes).

• Aplicação de Orçamento: O protocolo aplicou com sucesso orçamentos de estabilidade estritos. Quando o limite de estabilidade ($\tau_{sta}$) foi definido como uma restrição vinculativa (0,95), o protocolo truncou a busca antecipadamente (3 passos), preservando uma utilidade de estabilidade de 0,9583, significativamente maior do que a do otimizador Bunch sem restrições (0,9167).
• Orçamentos Flexíveis: Para orçamentos mais flexíveis ($\tau_{sta} \leq 0,90$), os resultados foram idênticos ao caso sem restrições, indicando que o protocolo esgota naturalmente todas as melhorias estruturais antes que a estabilidade se torne um fator limitante.
• Comparação: O consenso negociado igualou otimizadores de última geração (Bunch, CC/G) quando as restrições de estabilidade eram flexíveis, mas atuou como um "disjuntor" quando restrições estritas foram aplicadas.
• Eficiência: Uma implementação em Python teve uma média de 1,24 segundos por passo no sistema Xwork, confirmando a viabilidade da abordagem.

Significado e Alegações
O artigo alega um salto qualitativo para frente ao substituir a fusão estática e única de saídas de agrupamento por uma negociação dinâmica multiagente.

• Controle Arquitetônico: O principal significado reside na capacidade de impor matematicamente um "orçamento de estabilidade" definido pelo arquiteto, garantindo que o layout do sistema não se degrade meramente em prol da otimização estrutural.
• Garantias Formais: Diferentemente de abordagens heurísticas, este framework fornece garantias formais quanto à terminação e ao comportamento de concessão racional.
• Escopo: Os autores observam que, embora os resultados preliminares sejam promissores, uma avaliação empírica mais extensa cobrindo dez sistemas adicionais e comparações com algoritmos evolutivos multiobjetivo (por exemplo, NSGA-II) é adiada para um artigo completo futuro. O trabalho atual serve como uma prova de conceito para o paradigma de negociação no nível do código.