Ver publicación 

Mostrar el registro sencillo de la publicación

Una propuesta de algoritmo spin / promela para el análisis y diagnóstico de errores en diagramas de secuencia UML

dc.contributor.authorVidal Silva, Cristian
dc.contributor.authorVillarroel, Rodolfo
dc.contributor.authorLópez-Cortés, Xaviera A.
dc.contributor.authorRubio, José
dc.date.accessioned2019-05-28T14:03:53Z
dc.date.available2019-05-28T14:03:53Z
dc.date.issued2019
dc.identifier.urihttp://repositorio.ucm.cl/handle/ucm/2182
dc.description.abstractEste 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.es_CL
dc.language.isoeses_CL
dc.rightsAtribución-NoComercial-SinDerivadas 3.0 Chile*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/cl/*
dc.sourceInformación Tecnológica, 30(1), 263-272es_CL
dc.subjectAnálisis de modeloses_CL
dc.subjectUMLes_CL
dc.subjectSpin/promelaes_CL
dc.subjectDiagramas de secuenciaes_CL
dc.subjectModels analysises_CL
dc.subjectSequence diagramses_CL
dc.titleUna propuesta de algoritmo spin / promela para el análisis y diagnóstico de errores en diagramas de secuencia UMLes_CL
dc.title.alternativeAn Spin / Promela Algorithm Proposal for the Analysis and Errors Diagnosis in UML Sequence Diagramses_CL
dc.typeArticlees_CL
dc.ucm.facultadFacultad de Ciencias de la Ingenieríaes_CL
dc.ucm.indexacionScopuses_CL
dc.ucm.indexacionScieloes_CL
dc.ucm.uriwww.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-07642019000100263&lng=en&nrm=iso&tlng=enes_CL
dc.ucm.doidoi.org/10.4067/S0718-07642019000100263es_CL


Ficheros en la publicación

FicherosTamañoFormatoVer

No hay ficheros asociados a esta publicación.

Esta publicación aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo de la publicación

Atribución-NoComercial-SinDerivadas 3.0 Chile
Excepto si se señala otra cosa, la licencia de la publicación se describe como Atribución-NoComercial-SinDerivadas 3.0 Chile