%0 Journal Article
%@ 2591-5320
%A Narváez, Daniel
%A Battaglia, Nicolás
%A Fernández, Alejandro
%A Rossi, Gustavo
%D 2025
%F kurepository:42
%J Revista Abierta de Informática Aplicada
%K 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
%N 1
%P 2-24
%T Aplicación de Inteligencia Artificial Generativa y Verificación Formal en el Descubrimiento de Microservicios
%U https://kurepository.keiseruniversity.edu.ni/id/eprint/42/
%V 9
%X 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.