Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/11349/7564
Título : Integración de Lógica Lineal Temporal a Modelos de Arquitecturas de Software Basadas en Componentes Especificadas a Través del Cálculo rho-arq
Autor: Puentes Puentes, Oscar Javier
Director de Tesis: Diosa, Henry Alberto
Materias: MAESTRÍA EN CIENCIAS DE LA INFORMACIÓN Y LAS COMUNICACIONES - TESIS Y DISERTACIONES ACADÉMICAS
INGENIERÍA DE SOFTWARE
DESARROLLO DE PROGRAMAS PARA COMPUTADOR
ARQUITECTURA DE COMPUTADORES
Palabras clave : Cálculo ρ arq
Software Basado en Componentes
Flujo de Ejecución Arquitectónica
Lógica Lineal Temporal
Chequeo de Modelos.
Fecha: 15-dic-2017
Abstract : This research work establishes a mechanism to incorporate linear temporal logic to a specified architectural configuration through the rho-arq calculus. This process is performed by interpreting the components and the definition of the system (structure and behavior) of an architectural configuration and the generation of a procedure to build an Atomic Proposition Transition System (APTS) on which the verification of temporary properties is carried out. The visualization of this process is done through an extension of the PintArq application.
Resumen : El presente trabajo de investigación establece un mecanismo para incorporar lógica lineal temporal a una configuración arquitectural especificada a través del cálculo rho-arq. Este proceso se realiza interpretando los componentes y la definición del sistema (estructura y comportamiento) de una configuración arquitectural y la generación de un procedimiento para construir un Sistema de Transición de Proposiciones Atómicas (STPA) sobre el cual se realiza la verificación de propiedades temporales. La visualización de este proceso se realiza a través de una extensión de la aplicación PintArq.
URI : http://hdl.handle.net/11349/7564
Aparece en las colecciones: Maestría en Ciencias de la Información y las Comunicaciones

archivos en este ítem:
archivo Descripción Tamaño Formato  
Proyecto_v1_3.pdf2,9 MBAdobe PDFVisualizar/Abrir
Modelos_html_v2_1.zip7,63 MBUnknownVisualizar/Abrir
Modelos_PintArq_v2_1.eap3,99 MBUnknownVisualizar/Abrir
expresionesRhoArqSTPA.zip2,77 kBUnknownVisualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons