Please use this identifier to cite or link to this item: http://hdl.handle.net/11349/7564
Title: 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
Author: Puentes Puentes, Oscar Javier
metadata.dc.contributor.advisor: Diosa, Henry Alberto
metadata.dc.subject.lemb: 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
Keywords: Cálculo ρ arq
Software Basado en Componentes
Flujo de Ejecución Arquitectónica
Lógica Lineal Temporal
Chequeo de Modelos.
Date: 15-Dec-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.
Description: 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
Appears in Collections:Maestría en Ciencias de la Información y las Comunicaciones

Files in This Item:
File Description SizeFormat 
Proyecto_v1_3.pdf2,9 MBAdobe PDFView/Open
Modelos_html_v2_1.zip7,63 MBUnknownView/Open
Modelos_PintArq_v2_1.eap3,99 MBUnknownView/Open
expresionesRhoArqSTPA.zip2,77 kBUnknownView/Open


This item is licensed under a Creative Commons License Creative Commons