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

Puentes Puentes, Oscar Javier

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

dc.contributor.advisor	Diosa, Henry Alberto	spa
dc.contributor.author	Puentes Puentes, Oscar Javier	spa
dc.date.accessioned	2018-02-12T21:25:13Z
dc.date.available	2018-02-12T21:25:13Z
dc.date.created	2017-12-15	spa
dc.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.	spa
dc.description.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.	spa
dc.format.mimetype	pdf	spa
dc.identifier.uri	http://hdl.handle.net/11349/7564
dc.language.iso	spa	spa
dc.rights	Atribución-NoComercial-SinDerivadas 4.0 Internacional	*
dc.rights.acceso	Abierto (Texto Completo)	spa
dc.rights.accessrights	info:eu-repo/semantics/openAccess	spa
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Cálculo ρ arq	spa
dc.subject	Software basado en componentes	spa
dc.subject	Flujo de ejecución arquitectónica	spa
dc.subject	Lógica lineal temporal	spa
dc.subject	Chequeo de modelos.	spa
dc.subject.keyword	ρ arq calculus	spa
dc.subject.keyword	Component-based software	spa
dc.subject.keyword	Architectural execution flow	spa
dc.subject.keyword	Linear temporal logic	spa
dc.subject.keyword	Model Checking	spa
dc.subject.lemb	Maestría en Ciencias de la Información y las Comunicaciones - Tesis y disertaciones académicas	spa
dc.subject.lemb	Ingeniería de software	spa
dc.subject.lemb	Desarrollo de programas para computador	spa
dc.subject.lemb	Arquitectura de computadores	spa
dc.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	spa
dc.title.titleenglish	Integration of linear temporal logic to software architectures component-based models specified through the rho-arq calculus	spa
dc.type.coar	http://purl.org/coar/resource_type/c_bdcc	spa
dc.type.degree	Investigación-Innovación	spa
dc.type.driver	info:eu-repo/semantics/masterThesis	spa