English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

espanolEste trabajo describe las principales caracteristicas de diagramas de secuencia UML, la nocion de falla o error y tolerancia a fallas, y algunos tipos de fallas comunes y sus acciones de correccion en un diagrama de secuencias UML. Asi, el principal objetivo de este trabajo es proponer un algoritmo para la transformacion de diagramas de secuencia UML en codigo Spin / Promela, una herramienta de verificacion formal y de deteccion de errores en el chequeo de modelos para un sistema de tolerancia a fallas, y asi entregar explicaciones de los pasos necesarios para ajustar y corregir los diagramas afectados. El algoritmo para transformar diagramas de secuencia UML en codigo Spin / Promela es util para la deteccion de fallas en secuencias de mensajes. Se aplica la solucion propuesta sobre un diagrama simple y general de secuencias UML para analizar su codigo Promela y garantizar la efectividad del chequeo de modelos sobre diagramas de secuencia UML. Ademas, se presentan ideas de extension de la propuesta para el analisis de diagramas de secuencias UML con la inclusion de fragmentos combinados de iteraciones. EnglishThis paper describes the main characteristics of UML sequence diagrams, the notion of failure or error and fault tolerance, and some common fault types and their correction actions in a UML sequence diagram. Thus, the main objective of this work is to propose an algorithm for the transformation of UML sequence diagrams in Spin / Promela code, a formal verification and errors detection in the model checking for a fault tolerance system, and thus to provide explanations of the necessary steps to adjust and corrections the affected diagrams. The algorithm for transforming UML sequence diagrams into Spin / Promela code is useful for the detection of faults in sequence of messages. The proposed solution is applied on a simple and general UML sequence diagram to analyze its Promela code, guarantying in this way the model checking effectiveness on UML sequence diagrams. This work also presents ideas to extend the proposal for the analysis of UML sequences diagrams which include combined fragments of iterations.

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