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

Simple item page
dc.contributor.authorVidal-Silva, Cristian
dc.contributor.authorVillarroel, Rodolfo H.
dc.contributor.authorLópez-Cortés, Xaviera A.
dc.contributor.authorRubio, José Miguel
dc.date.accessioned2019-09-09T20:29:58Z
dc.date.available2019-09-09T20:29:58Z
dc.date.issued2019
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_ES
dc.identifier.issn0718-0764
dc.identifier.other10.4067/S0718-07642019000100263
dc.identifier.urihttps://hdl.handle.net/20.500.12536/314
dc.language.isoeses_ES
dc.sourceInformación tecnológica
dc.subjectAnálisis de modelos
dc.subjectTolerancia a fallas
dc.subjectUML
dc.subjectSpin / Promela
dc.subjectDiagramas de secuencia
dc.titleUna Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UMLes_ES
dc.typeArtículo de revistaes_ES
uvm.escuelaEscuela de Ingeniería y Negocioses_ES
uvm.indexScopus
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Una Propuesta de Algoritmo Spin Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML.pdf
Size:
397.46 KB
Format:
Adobe Portable Document Format
Description:
Artículo de Revista: Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Artículos científicos