Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML

Resumen: Este trabajo describe las principales características de diagramas de secuencia UML, la noción de falla o error y tolerancia a fallas, y algunos tipos de fallas comunes y sus acciones de corrección en un diagrama de secuencias UML. Así, el principal objetivo de este trabajo es proponer un a...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Vidal-Silva,Cristian L., Villarroel,Rodolfo H., López-Cortés,Xaviera A., Rubio,José M.
Lenguaje:	Spanish / Castilian
Publicado:	Centro de Información Tecnológica 2019
Materias:	análisis de modelos tolerancia a fallas UML Spin / Promela diagramas de secuencia.
Acceso en línea:	http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-07642019000100263
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai:scielo:S0718-07642019000100263
record_format	dspace
spelling	oai:scielo:S0718-076420190001002632019-02-28Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UMLVidal-Silva,Cristian L.Villarroel,Rodolfo H.López-Cortés,Xaviera A.Rubio,José M. análisis de modelos tolerancia a fallas UML Spin / Promela diagramas de secuencia. Resumen: Este trabajo describe las principales características de diagramas de secuencia UML, la noción de falla o error y tolerancia a fallas, y algunos tipos de fallas comunes y sus acciones de corrección en un diagrama de secuencias UML. Así, el principal objetivo de este trabajo es proponer un algoritmo para la transformación de diagramas de secuencia UML en código Spin / Promela, una herramienta de verificación formal y de detección de errores en el chequeo de modelos para un sistema de tolerancia a fallas, y así entregar explicaciones de los pasos necesarios para ajustar y corregir los diagramas afectados. El algoritmo para transformar diagramas de secuencia UML en código Spin / Promela es útil para la detección de fallas en secuencias de mensajes. Se aplica la solución propuesta sobre un diagrama simple y general de secuencias UML para analizar su código Promela y garantizar la efectividad del chequeo de modelos sobre diagramas de secuencia UML. Además, se presentan ideas de extensión de la propuesta para el análisis de diagramas de secuencias UML con la inclusión de fragmentos combinados de iteraciones.info:eu-repo/semantics/openAccessCentro de Información TecnológicaInformación tecnológica v.30 n.1 20192019-02-01text/htmlhttp://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-07642019000100263es10.4067/S0718-07642019000100263
institution	Scielo Chile
collection	Scielo Chile
language	Spanish / Castilian
topic	análisis de modelos tolerancia a fallas UML Spin / Promela diagramas de secuencia.
spellingShingle	análisis de modelos tolerancia a fallas UML Spin / Promela diagramas de secuencia. Vidal-Silva,Cristian L. Villarroel,Rodolfo H. López-Cortés,Xaviera A. Rubio,José M. Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML
description	Resumen: Este trabajo describe las principales características de diagramas de secuencia UML, la noción de falla o error y tolerancia a fallas, y algunos tipos de fallas comunes y sus acciones de corrección en un diagrama de secuencias UML. Así, el principal objetivo de este trabajo es proponer un algoritmo para la transformación de diagramas de secuencia UML en código Spin / Promela, una herramienta de verificación formal y de detección de errores en el chequeo de modelos para un sistema de tolerancia a fallas, y así entregar explicaciones de los pasos necesarios para ajustar y corregir los diagramas afectados. El algoritmo para transformar diagramas de secuencia UML en código Spin / Promela es útil para la detección de fallas en secuencias de mensajes. Se aplica la solución propuesta sobre un diagrama simple y general de secuencias UML para analizar su código Promela y garantizar la efectividad del chequeo de modelos sobre diagramas de secuencia UML. Además, se presentan ideas de extensión de la propuesta para el análisis de diagramas de secuencias UML con la inclusión de fragmentos combinados de iteraciones.
author	Vidal-Silva,Cristian L. Villarroel,Rodolfo H. López-Cortés,Xaviera A. Rubio,José M.
author_facet	Vidal-Silva,Cristian L. Villarroel,Rodolfo H. López-Cortés,Xaviera A. Rubio,José M.
author_sort	Vidal-Silva,Cristian L.
title	Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML
title_short	Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML
title_full	Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML
title_fullStr	Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML
title_full_unstemmed	Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML
title_sort	una propuesta de algoritmo spin / promela para el análisis y diagnóstico de errores en diagramas de secuencia uml
publisher	Centro de Información Tecnológica
publishDate	2019
url	http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-07642019000100263
work_keys_str_mv	AT vidalsilvacristianl unapropuestadealgoritmospinpromelaparaelanalisisydiagnosticodeerroresendiagramasdesecuenciauml AT villarroelrodolfoh unapropuestadealgoritmospinpromelaparaelanalisisydiagnosticodeerroresendiagramasdesecuenciauml AT lopezcortesxavieraa unapropuestadealgoritmospinpromelaparaelanalisisydiagnosticodeerroresendiagramasdesecuenciauml AT rubiojosem unapropuestadealgoritmospinpromelaparaelanalisisydiagnosticodeerroresendiagramasdesecuenciauml
_version_	1714201605449973760

Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML

Ejemplares similares