Aplicación de Inteligencia Artificial Generativa y Verificación Formal en el Descubrimiento de Microservicios

Article : UNSPECIFIED
[thumbnail of SMDepResJourPubl0007.pdf]
Preview
Text
SMDepResJourPubl0007.pdf

Download (1MB) | Preview

The 1918 University Reform, initiated at the National University of Córdoba, marked a milestone in higher education in Latin America. It emerged in a context of political and social transformations, driven by students seeking to dismantle the elitist, clerical, and authoritarian university model. It promoted university autonomy, student participation in governance, academic freedom, and the extension of knowledge to society. Although the reform originated in Argentina, its ideals influenced other countries, particularly Chile, where similar movements emerged. Its legacy endures today, as evidenced by the reinstatement of student shared governance at the University of Santiago, Chile, in 2025.
-------------------
El diseño de microservicios a partir de requisitos textuales constituye un desafío persistente en la ingeniería de software, debido a la ambigüedad del lenguaje natural y a la ausencia de mecanismos formales que garanticen calidad arquitectónica. En el marco de una investigación doctoral en la Universidad Abierta Interamericana (UAI), se presenta ArchiGenMS, un pipeline evolutivo que combina modelos de lenguaje generativos (LLMs) con verificación formal en Lean para el descubrimiento automático de microservicios. La propuesta integra prompt engineering evolutivo, métricas estructurales de cohesión, granularidad y acoplamiento, y validación automática de restricciones arquitectónicas. Los experimentos realizados con datasets públicos de historias de usuario, como el caso g24-unibath, muestran que el enfoque permite generar arquitecturas con alta cohesión (LCOMavg = 0.167), granularidad controlada (SGMmax = 4) y bajo acoplamiento (Couplingmax = 1). Los resultados evidencian el potencial de integrar técnicas generativas y verificación formal para construir arquitecturas mantenibles y reproducibles en escenarios greenfield.

Title: Aplicación de Inteligencia Artificial Generativa y Verificación Formal en el Descubrimiento de Microservicios
Creators: Narváez, Daniel and Battaglia, Nicolás and Fernández, Alejandro and Rossi, Gustavo
Date: December 2025
Volume: 9
Number: 1
Page Range: pp. 2-24
Journal or Publication Title: Revista Abierta de Informática Aplicada
Item Type: Article
ISSN: 2591-5320
Subjects: Science [Q] > Mathematics [QA] > Computer software [QA76]
Science [Q] > Mathematics [QA] > Computer science – Other topics [QA76.9]
Uncontrolled Keywords: University Reform, Student Movements, Autonomy, Academic Freedom, Latin American Education. Microservicios, descubrimiento automático, modelos de lenguaje grandes, verificación formal, Lean Theorem Prover, métricas arquitectónicas, prompt engineering evolutivo, ingeniería de software asistida por IA
Date Deposited: 11 Feb 2026 23:11
Last Modified: 11 Feb 2026 23:11
URI: https://kurepository.keiseruniversity.edu.ni/id/eprint/42




Contact: Keiser University Latin American Campus

Actions (login required)

View Item
View Item

 

 

 

Basic Search

Filter









Academic






Type