10.29327/1884517.29-16
La especificación de requisitos mediante escenarios escritos en lenguaje natural es una práctica usada en ingeniería de requisitos. La forma narrativa de los escenarios dificulta su análisis sistemático, dado que los episodios suelen introducir actores y recursos de forma implícita y la consistencia entre la declaración estructural del escenario y su conte- nido narrativo raramente puede verificarse de manera automática. Este trabajo propone un enfoque híbrido que combina modelos de lenguaje de gran escala con invariantes formales expresadas en OCL para abordar este problema. Se define un metamodelo basado en los escenarios defini- dos por Leite, que formaliza los conceptos del dominio y las propiedades que toda especificación válida debe satisfacer. El proceso sigue un pipe- line de cuatro etapas que incluye la construcción del modelo mediante un esquema de dos pasadas con intersección semántica, la resolución de referencias entre escenarios y la evaluación de invariantes OCL. El enfo- que fue implementado en Python y validado sobre un corpus del dominio de huerta urbana, detectando inconsistencias concretas entre las decla- raciones estructurales de los escenarios y el contenido narrativo de sus episodios.
Keywords: Ingeniería de Requerimientos; Escenarios; OCL; Validación formal; LLMs; Metamodelo
@inproceedings{wer202615,
author = {Perez, G. and Mostaccio, C. and Antonelli, L.},
title = {Un Enfoque Híbrido LLM + OCL para la Detección de Inconsistencias en Escenarios},
booktitle = {Anais do Workshop em Engenharia de Requisitos - Proceedings of the 29th Workshop on Requirements Engineering (WER2026)},
year = {2026},
issn = {2675-0066},
isbn = {978-65-02-19591-8},
doi = {10.29327/1884517.29-16}
}