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
DOI:
https://doi.org/10.32870/recibe.v5i1.53Palabras clave:
Trazabilidad, Validación, Requerimiento funcional, Modelo conceptual, UML, Autómata finito deterministaResumen
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.Citas
Jacobson, Ivar y otros (1992). Object Oriented Software Engineering. A Use Case Driven Approach. Addison Wesley.
Marciszack, Marcelo, Pérez,Ramiro, Castro, Claudia Castro (2013). Validación de Requerimientos a través de Modelos Conceptuales – Modelos y Transformaciones. WICC 2013.
Pérez, J. D. (2007). Notaciones y lenguajes de procesos. Una visión global. Tesis de Doctorado Universidad de Sevilla.
Rumbaugh, J., Jacobson,I., Booch,G. (1999). The Unified Modelling Language Reference. Addisson Wesley.
U.T.N. F.R.C. (2009). Proyecto Construcción de Herramientas Didácticas para la enseñanza y ejercitación práctica en laboratorio de Informática Teórica en las Carreras con Informática. Manual de Usuario – Grupo de Herramientas Didácticas.
Descargas
Publicado
2017-12-06
Cómo citar
arlos Medina, O., Martín Marciszack, M., & Groppo, M. A. (2017). 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. ReCIBE, Revista electrónica De Computación, Informática, Biomédica Y Electrónica, 5(1), II. https://doi.org/10.32870/recibe.v5i1.53
Número
Sección
Computación e Informática
