Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12104/95550| Título: | Trazabilidad y validación de requerimientos funcionales de sistemas informáticos mediante la transformación de modelos conceptuales - Traceability and validation for functional requirements of information systems using conceptual model transformation |
| Palabras clave: | Trazabilidad;Validación;Requerimiento funcional;Modelo conceptual;UML;Autómata finito determinista |
| Editorial: | Universidad de Guadalajara |
| Descripción: | El objetivo de este trabajo es caracterizar un método que permita la trazabilidad y validación de requerimientos funcionales de un sistema de información mediante la transformación de modelos conceptuales. Para lo cual se construyó un software denominado SIAR (Sistema Integral de Administración de Requerimientos) que administra los requerimientos funcionales y utiliza UML (Lenguaje Unificado de Modelado) para su representación como Casos de Uso. La finalidad principal de esta aplicación web es la gestión de Casos de Uso con una herramienta que agilice su registro, normalice su contenido y posibilite la trazabilidad de los cambios e implemente validaciones funcionales. Por ejemplo, un procedimiento automatizado de análisis de consistencia de Casos de Uso, para lo cual el sistema genera un grafo con la transición de estados de cada Caso de Uso que es analizado en un simulador de autómata finito determinista para verificar la cohesión de los escenarios en él definidos.Abstract: The goal of this paper is to characterize a method that allows the traceability and validation of functional requirements of a computer system by transforming conceptual models with SIAR (Integrated System of Requirements Management). This software manages the functional requirements describing them as Use Cases using UML (Unified Modeling Language). The main purpose of this web application is the Use Cases management with a tool to expedite registration, normalize its contents and enable the traceability of changes and implement functional validations. For example, an automated process for consistency analysis of Use Cases, for which the system generates a graph with the state transition of each Use Case. Finally, the graph is analyzed in a deterministic finite automata simulator to verify the consistency of the defined scenarios defined.keywords: Traceability, Validation, Functional requirement, Conceptual model, UML, Deterministic finite automata. |
| URI: | https://hdl.handle.net/20.500.12104/95550 |
| Otros identificadores: | http://recibe.cucei.udg.mx/index.php/ReCIBE/article/view/53 10.32870/recibe.v5i1.53 |
| Aparece en las colecciones: | Revista ReCIBE |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.
Los ítems de RIUdeG están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.