Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/11349/7564
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.advisorDiosa, Henry Alberto-
dc.creatorPuentes Puentes, Oscar Javier-
dc.date.accessioned2018-02-12T21:25:13Z-
dc.date.available2018-02-12T21:25:13Z-
dc.date.created2017-12-15-
dc.identifier.urihttp://hdl.handle.net/11349/7564-
dc.descriptionEl 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.spa
dc.description.abstractThis 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.spa
dc.format.mimetypepdfspa
dc.subjectCálculo ρ arqspa
dc.subjectSoftware Basado en Componentesspa
dc.subjectFlujo de Ejecución Arquitectónicaspa
dc.subjectLógica Lineal Temporalspa
dc.subjectChequeo de Modelos.spa
dc.titleIntegración de Lógica Lineal Temporal a Modelos de Arquitecturas de Software Basadas en Componentes Especificadas a Través del Cálculo rho-arqspa
dc.subject.lembMAESTRÍA EN CIENCIAS DE LA INFORMACIÓN Y LAS COMUNICACIONES - TESIS Y DISERTACIONES ACADÉMICASspa
dc.subject.lembINGENIERÍA DE SOFTWAREspa
dc.subject.lembDESARROLLO DE PROGRAMAS PARA COMPUTADORspa
dc.subject.lembARQUITECTURA DE COMPUTADORESspa
dc.creator.emailoskarj84@gmail.comspa
dc.title.titleenglishIntegration of Linear Temporal Logic to Software Architectures Component-Based Models Specified Through the rho-arq Calculusspa
dc.subject.keywordρ arq Calculusspa
dc.subject.keywordComponent-Based Softwarespa
dc.subject.keywordArchitectural Execution Flowspa
dc.subject.keywordLinear Temporal Logicspa
dc.subject.keywordModel Checkingspa
dc.type.degreeInvestigación-Innovaciónspa
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