UTN- FRC -Producción Académica de Investigación y Desarrollo - Artículos
Permanent URI for this collectionhttp://48.217.138.120/handle/20.500.12272/2453
Browse
2 results
Search Results
Item Modelado de contratos inteligentes dirigido por casos de uso(2023) Medina, Oscar Carlos; Romero, Rubén Anibal; Romero, María Soledad; Marciszack, Marcelo Martín; Wismer, Axel Francis; Morardo, Diego; Bossio, Mateo Federico;Un patrón de negocio permite modelar procesos de negocios que dan soporte a un software, por ejemplo, a un Contrato Inteligente que se ejecuta en una red Blockchain. Este artículo presenta un modelo de análisis que posibilite la incorporación de patrones de negocio asociados a casos de uso de Blockchain para iniciar el Modelado Conceptual de Contratos Inteligentes. Este modelado dirigido por casos de uso permite emplear de forma sistematizada los patrones de negocio para reutilizar el conocimiento y la experiencia de soluciones anteriores basadas en contratos inteligentes. La propuesta facilita la reusabilidad de modelos de negocio de aplicaciones Blockchain que tratan el mismo dominio de problema en la actividad de especificación de requerimientos.Item Trazabilidad y validación de requerimientos funcionales de sistemas informáticos mediante la transformación de modelos conceptuales.”(2016) Medina, Oscar Carlos; Marciszack, Marcelo Martín; Groppo, Mario AlbertoEl 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.