• español (España)
    • English
  • English 
    • español (España)
    • English
  • Login
View Item 
  •   DSpace Home
  • Escuelas, Departamentos y Centros
  • Escuela de Ingeniería y Negocios
  • Artículos científicos
  • View Item
  •   DSpace Home
  • Escuelas, Departamentos y Centros
  • Escuela de Ingeniería y Negocios
  • Artículos científicos
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
View/Open
Artículo de Revista: Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML (397.4Kb)
Date
2019
Author
Vidal-Silva, Cristian
Villarroel, Rodolfo H.
López-Cortés, Xaviera A.
Rubio, José Miguel
Statistics
Abstract
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.
URI
https://hdl.handle.net/20.500.12536/314
Collections
  • Artículos científicos
Metadata
Show full item record
UVM - Universidad Viña del MarAcreditación
Nuestros Sitios
  • CREA (Biblioteca)
  • Repositorio
  • UVM en Medios
Calendario Académico
  • Diurno
  • Vespertino
Fono Admisión

800 37 4100

FONO ALUMNOS (CSE)

32 2462510 (Recreo)

32 2462637 (Miraflores)

32 2462693 (Rodelillo)

Formularios
  • Contacto
  • Denuncia de Acoso Sexual o Discriminación Arbitraria
Nuestras Redes Sociales
Universidad Viña del Mar

Agua Santa 7055, Viña del Mar

  • Políticas de Privacidad

Agua Santa 7055, sector Rodelillo, Viña del Mar.

Implementado por
OpenGeek
 

Browse

Navigate on all siteCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsItem TypesThis CollectionBy Issue DateAuthorsTitlesSubjectsItem Types

My Account

Login

Statistics

View Usage Statistics
UVM - Universidad Viña del MarAcreditación
Nuestros Sitios
  • CREA (Biblioteca)
  • Repositorio
  • UVM en Medios
Calendario Académico
  • Diurno
  • Vespertino
Fono Admisión

800 37 4100

FONO ALUMNOS (CSE)

32 2462510 (Recreo)

32 2462637 (Miraflores)

32 2462693 (Rodelillo)

Formularios
  • Contacto
  • Denuncia de Acoso Sexual o Discriminación Arbitraria
Nuestras Redes Sociales
Universidad Viña del Mar

Agua Santa 7055, Viña del Mar

  • Políticas de Privacidad

Agua Santa 7055, sector Rodelillo, Viña del Mar.

Implementado por
OpenGeek