A Multi-Agent Consensus Protocol for Stable Software Remodularization

Resumen Técnico: Un Protocolo de Consenso Multiagente para la Remodularización Estable de Software

Enunciado del Problema
Los enfoques actuales para la remodularización automática de software suelen plantear la tarea como un problema de optimización de un solo objetivo, a menudo maximizando métricas estructurales como TurboMQ para mejorar la cohesión y reducir el acoplamiento. Aunque las metaheurísticas recientes han mejorado la eficiencia de la búsqueda, estos métodos no abordan una restricción pragmática crítica: la estabilidad evolutiva. Una descomposición que maximiza la calidad estructural pero difiere significativamente de la versión anterior del sistema impone una carga cognitiva pesada a los desarrolladores. Las herramientas existentes son "ciegas al presupuesto", ya sea ignorando la estabilidad o fusionándola en una suma ponderada fija con coeficientes arbitrarios, careciendo así de la capacidad de imponer restricciones estrictas de estabilidad o adaptarse a preferencias específicas de las partes interesadas.

Metodología: Protocolo de Concesión Monótona Asimétrica (AMCP)
Los autores replantean la modularización del software no como un problema de optimización estática, sino como un problema de consenso distribuido entre agentes autónomos. El marco propuesto introduce dos agentes con funciones de utilidad conflictivas:

1. Agente de Cohesión ($A_{coh}$): Se esfuerza por maximizar la densidad estructural utilizando una métrica TurboMQ normalizada.
2. Agente de Estabilidad ($A_{sta}$): Busca preservar la disposición de la versión anterior ($D_{prev}$) minimizando la distancia Move-plus-Join (MoJo).

El mecanismo central es el Protocolo de Concesión Monótona Asimétrica (AMCP). En este protocolo:

• Asimetría: El Agente de Estabilidad actúa como el único proponente, reflejando el escenario real de mantenimiento donde la arquitectura heredada es el estado predeterminado. El Agente de Cohesión acepta implícitamente movimientos que mejoran la cohesión sin violar el suelo de estabilidad.
• Lógica de Concesión: El Agente de Estabilidad evalúa posibles reasignaciones de módulos individuales y selecciona el movimiento que minimiza la Relación de Concesión ($R(\delta)$). Esta relación representa el costo en utilidad de estabilidad por unidad de ganancia en utilidad de cohesión.
• Umbral: El protocolo impone umbrales de supervivencia explícitos ($\tau_{sta}$ y $\tau_{coh}$). Si un movimiento viola el presupuesto de estabilidad ($\tau_{sta}$), se rechaza.
• Terminación: La negociación termina cuando no existe ningún movimiento válido que mejore la cohesión respetando el umbral de estabilidad, o cuando se agota el conjunto de movimientos válidos.

Contribuciones Clave

1. Modelo Matemático Formal: El artículo establece un modelo formal de la remodularización de software como un problema de consenso distribuido entre agentes impulsados por utilidad.
2. El Protocolo AMCP: Los autores proponen el AMCP, que incluye pruebas formales para:
   • Terminación Finita: El protocolo garantiza terminar en un número finito de pasos (acotado por $n \cdot (k_{max} - 1)$), ya que utiliza la Utilidad de Cohesión como una función de Lyapunov estricta.
   • Racionalidad (Estrategia de Zeuthen): El comportamiento del protocolo se mapea a la Estrategia de Zeuthen, asegurando que los agentes realicen las concesiones mínimas necesarias para satisfacer al oponente, priorizando primero las concesiones "baratas".
   • Satisfactoriedad Pareto Local: La partición resultante es localmente satisfactoria de Pareto dentro del vecindario de un solo movimiento, lo que significa que ninguna reasignación individual puede mejorar estrictamente la cohesión sin violar el umbral de estabilidad.
3. Análisis de Complejidad: El enfoque poda el espacio de búsqueda de manera efectiva, evaluando $O(n \cdot k)$ candidatos por paso, en contraste con el espacio de estados exponencial de las metaheurísticas basadas en poblaciones.

Resultados Experimentales
Se realizaron experimentos preliminares en un benchmark sintético y en el framework Java Xwork (113 clases, 10 paquetes).

• Aplicación del Presupuesto: El protocolo aplicó con éxito presupuestos de estabilidad estrictos. Cuando el umbral de estabilidad ($\tau_{sta}$) se estableció como una restricción vinculante (0.95), el protocolo truncó la búsqueda temprano (3 pasos), preservando una utilidad de estabilidad de 0.9583, significativamente mayor que la del optimizador Bunch sin restricciones (0.9167).
• Presupuestos Flexibles: Para presupuestos más flexibles ($\tau_{sta} \leq 0.90$), los resultados fueron idénticos al caso sin restricciones, lo que indica que el protocolo agota naturalmente todas las mejoras estructurales antes de que la estabilidad se convierta en un factor limitante.
• Comparación: El consenso negociado coincidió con los optimizadores de última generación (Bunch, CC/G) cuando las restricciones de estabilidad eran flexibles, pero actuó como un "interruptor de circuito" cuando se aplicaron restricciones estrictas.
• Eficiencia: Una implementación en Python promedió 1.24 segundos por paso en el sistema Xwork, confirmando la viabilidad del enfoque.

Significado y Afirmaciones
El artículo afirma un salto cualitativo hacia adelante al reemplazar la fusión estática y única de salidas de agrupamiento con una negociación dinámica multiagente.

• Control Arquitectónico: El significado principal radica en la capacidad de imponer matemáticamente un "presupuesto de estabilidad" establecido por el arquitecto, asegurando que la disposición del sistema no se degrade meramente por el bien de la optimización estructural.
• Garantías Formales: A diferencia de los enfoques heurísticos, este marco proporciona garantías formales con respecto a la terminación y el comportamiento de concesión racional.
• Alcance: Los autores señalan que, aunque los resultados preliminares son prometedores, una evaluación empírica más extensa que cubra diez sistemas adicionales y comparaciones con algoritmos evolutivos multiobjetivo (por ejemplo, NSGA-II) se pospone para un artículo completo próximo. El trabajo actual sirve como una prueba de concepto para el paradigma de negociación a nivel de código.