Análisis de consistencia de casos de uso con simuladores de autómatas finitos

Abstract

El objetivo del trabajo es obtener un método automatizado de análisis de consistencia de Casos de Uso. Para lo cual se construyó una aplicación web denominada SIAR (Sistema Integral de Administración de Requerimientos) que gestiona los requerimientos funcionales de un sistema de información según los lineamientos de UML (Lenguaje Unificado de Modelado). Los casos de uso son una herramienta de generación y análisis de requisitos de sistemas. La finalidad principal de SIAR es la administración de casos de uso con una herramienta informática que agilice su registración, normalice su contenido y posibilite implementar validaciones funcionales, como por ejemplo un método automatizado de análisis de consistencia de casos de uso. Con este fin, el sistema genera un grafo con la transición de estados de cada caso de uso, expresado en el protocolo XPDL (Lenguaje de Definición de Flujo de Trabajo), que es analizado en un simulador de autómata finito determinista para verificar la cohesión de los escenarios en él definidos