Universidad Autónoma de Chile
  • About
  • How to publish
  • Contact Us
    • Login

    Repositorio Académico

    Advanced search
    View Item 
    •   Home
    • Investigación y Desarrollo
    • Producción Científica
    • Artículos científicos
    • View Item
    •   Home
    • Investigación y Desarrollo
    • Producción Científica
    • Artículos científicos
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    An Spin / Promela application for model checking UML sequence diagrams

    Article
    View/Open
    item_2-s2.0-85057216322.pdf (2.394Kb)
    Date
    2018
    DOI
    10.14569/IJACSA.2018.091071

    Metadata
    Show full item record
    Author
    Vidal-Silva C.L.
    Villarroel R.
    Rubio J.
    Johnson F.
    Madariaga E.
    Campos C.
    Carter L.
    Abstract
    UML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams' correctness is necessary because they can model critical algorithmic behaviors of information systems. UML sequence diagrams applications are often on the requirement and design phases of the software development process, and their correctness guarantees the accurate and transparent implementation of software products. The primary goal of this article is to review and improve the translation of basic and complex UML sequence diagrams into Spin / Promela code taking into account behavioral properties and elements of combined fragments of UML sequence diagrams for synchronous and asynchronous messages. This article also redefines a previous proposal for a transition system for UML sequence diagrams by specifying Linear Temporal Logic (LTL) formulas to verify the model correctness. We present an application example of our modeling proposal on a modified version of a traditional case study by using UML sequence diagrams to translate it into Promela code to verify their properties and correctness. © 2015 The Science and Information (SAI) Organization Limited.
    Collections
    • Artículos científicos

    Related items

    Showing items related by title, author, creator and subject.

    • Article

      Aspect-combining functions for modular MapReduce solutions (2020) 

      Silva C.V.; Villarroel R.; Rubio J.; Johnson F.; Madariaga E.; Urzúa A.; Carter L.; Campos-Valdés C.; López-Cortés X.A. (Science and Information Organization, 2018)
    • Article

      Applying FireFly Algorithm to solve the problem of balancing curricula (2020) 

      Rubio J.M.; Vidal-Silva C.L.; Soto R.; Madariaga E.; Johnson F.; Carter L. (Science and Information Organization, 2019)
    • Article

      A proposal of feature model with join point interface for the modeling of software product lines [Propuesta de Modelo de Características con Interfaz de Punto de Unión para el Modelamiento de Líneas de Productos de Software] (2020) 

      Vidal-Silva C.L.; Bustamante M.A.; Rubio J.M.; Carter L.E. (Centro de Informacion Tecnologica, 2018)
    LA UNIVERSIDAD
    • Aseguramiento de Calidad
    • Internacional
    • Vinculación con el Medio
    • Más Transparencia
    • Acreditación
    • Reglamentos e instructivos
    • Reclamos y Sugerencias
    FACULTADES
    • Administración y Negocios
    • Arquitectura y Construcción
    • Ciencias de la Salud
    • Ciencias Sociales y Humanidades
    • Derecho
    • Educación
    • Ingeniería
    INVESTIGACIÓN
    • Estructura
    • Comités de Ética
    • Institutos de Investigación
    • Centros de Investigación
    • Grupos de Investigación
    • Docentes Investigadores
    POSTGRADOS
    • Postgrados
    • Doctorados
    • Magíster
    • Especialidades
    • Escuela Internacional
    • Escuela Alta Dirección

    Browse

    All contentCollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister
    Academic Journals
    LA UNIVERSIDAD
    • Aseguramiento de Calidad
    • Internacional
    • Vinculación con el Medio
    • Más Transparencia
    • Acreditación
    • Reglamentos e instructivos
    • Reclamos y Sugerencias
    FACULTADES
    • Administración y Negocios
    • Arquitectura y Construcción
    • Ciencias de la Salud
    • Ciencias Sociales y Humanidades
    • Derecho
    • Educación
    • Ingeniería
    INVESTIGACIÓN
    • Estructura
    • Comités de Ética
    • Institutos de Investigación
    • Centros de Investigación
    • Grupos de Investigación
    • Docentes Investigadores
    POSTGRADOS
    • Postgrados
    • Doctorados
    • Magíster
    • Especialidades
    • Escuela Internacional
    • Escuela Alta Dirección