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

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 lo...

Descripción completa

Detalles Bibliográficos
Autores principales: Marciszack, Marcelo Martín, Medina, Oscar Carlos, Castro, Claudia Susana, Moyano, Enrique Humberto
Formato: Documento de conferencia publisherVersion
Lenguaje:Español
Publicado: 2021
Materias:
UML
Acceso en línea:http://hdl.handle.net/20.500.12272/5821
Aporte de:
id I68-R174-20.500.12272-5821
record_format dspace
institution Universidad Tecnológica Nacional
institution_str I-68
repository_str R-174
collection RIA - Repositorio Institucional Abierto (UTN)
language Español
topic Análisis de requerimientos
Autómata finito determinista
UML
XPDL
spellingShingle Análisis de requerimientos
Autómata finito determinista
UML
XPDL
Marciszack, Marcelo Martín
Medina, Oscar Carlos
Castro, Claudia Susana
Moyano, Enrique Humberto
Análisis de consistencia de casos de uso con simuladores de autómatas finitos
topic_facet Análisis de requerimientos
Autómata finito determinista
UML
XPDL
description 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
format Documento de conferencia
publisherVersion
author Marciszack, Marcelo Martín
Medina, Oscar Carlos
Castro, Claudia Susana
Moyano, Enrique Humberto
author_facet Marciszack, Marcelo Martín
Medina, Oscar Carlos
Castro, Claudia Susana
Moyano, Enrique Humberto
author_sort Marciszack, Marcelo Martín
title Análisis de consistencia de casos de uso con simuladores de autómatas finitos
title_short Análisis de consistencia de casos de uso con simuladores de autómatas finitos
title_full Análisis de consistencia de casos de uso con simuladores de autómatas finitos
title_fullStr Análisis de consistencia de casos de uso con simuladores de autómatas finitos
title_full_unstemmed Análisis de consistencia de casos de uso con simuladores de autómatas finitos
title_sort análisis de consistencia de casos de uso con simuladores de autómatas finitos
publishDate 2021
url http://hdl.handle.net/20.500.12272/5821
work_keys_str_mv AT marciszackmarcelomartin analisisdeconsistenciadecasosdeusoconsimuladoresdeautomatasfinitos
AT medinaoscarcarlos analisisdeconsistenciadecasosdeusoconsimuladoresdeautomatasfinitos
AT castroclaudiasusana analisisdeconsistenciadecasosdeusoconsimuladoresdeautomatasfinitos
AT moyanoenriquehumberto analisisdeconsistenciadecasosdeusoconsimuladoresdeautomatasfinitos
bdutipo_str Repositorios
_version_ 1764820552340471810