Representación visual de la ejecución de una arquitectura de software basada en componentes con especificación formal en cálculo Rho-Arq

Rico García, Jorge Alejandro

Representación visual de la ejecución de una arquitectura de software basada en componentes con especificación formal en cálculo Rho-Arq

dc.contributor.advisor	Diosa, Henry Alberto	spa
dc.contributor.author	Rico García, Jorge Alejandro	spa
dc.date.accessioned	2016-06-16T20:43:17Z
dc.date.available	2016-06-16T20:43:17Z
dc.date.created	2015-11-12	spa
dc.description	El proyecto consiste en la construcción de una herramienta de software que facilite la interpretación de arquitecturas de software basadas en componentes descritas usando el cálculo Rho-arq, dicha herramienta brinda la facilidad para exponer de manera gráfica al arquitecto de software la estructura y el flujo de ejecución descritos en la expresiones de la arquitectura objeto de estudio. Esta herramienta fue construida considerando varios módulos que, en conjunto, estan en capacidad de interpretar expresiones conformes a la sintaxis y semántica operacional del cálculo Rho-arq, de acuerdo con el formato del lenguaje de edición científica LaTex, y de convertir dichas expresiones a elementos gráficos de la notación UML2.x.	spa
dc.description.abstract	The project is based on the construction of a software tool that ease the component-based software architecture interpretation described using Rho-arq calculus, this tool offers the facility to expose to the software architect on a graphic way the structure and the architectonic execution flow described in the architecture expressions under study. The software tool was built considering some different modules that, in set, they have the capacity to interpret expressions conform to the Rho-arq calculus sintax and operational semantic, according to the scientific edition language (LaTex) format, and to transform those expressions to UML 2.x. graphical notation.	spa
dc.format.mimetype	pdf	spa
dc.identifier.uri	http://hdl.handle.net/11349/2778
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	Arquitectura	spa
dc.subject	Álgebra	spa
dc.subject	Lenguaje de	spa
dc.subject	semántica	spa
dc.subject	cálculo	spa
dc.subject	UML	spa
dc.subject	flujo	spa
dc.subject	operacional	spa
dc.subject	procesos	spa
dc.subject	arquitectónica	spa
dc.subject	ejecución	spa
dc.subject	Rho-arq	spa
dc.subject	arquitectural	spa
dc.subject	software	spa
dc.subject	descripción	spa
dc.subject.keyword	Software	spa
dc.subject.keyword	Process	spa
dc.subject.keyword	architecture	spa
dc.subject.keyword	operational	spa
dc.subject.keyword	Rho-arq	spa
dc.subject.keyword	UML	spa
dc.subject.keyword	Architectural	spa
dc.subject.keyword	semantic	spa
dc.subject.keyword	flow	spa
dc.subject.keyword	algebra	spa
dc.subject.keyword	execution	spa
dc.subject.keyword	calculus	spa
dc.subject.keyword	language	spa
dc.subject.keyword	description	spa
dc.subject.keyword	architecture	spa
dc.subject.lemb	Maestría en Ciencias de la Información y las Comunicaciones - Tesis y disertaciones académicas	spa
dc.subject.lemb	Desarrollo de software	spa
dc.subject.lemb	Herramientas tecnológicas	spa
dc.subject.lemb	Mejoramiento de procesos	spa
dc.title	Representación visual de la ejecución de una arquitectura de software basada en componentes con especificación formal en cálculo Rho-Arq	spa
dc.title.titleenglish	Visual representation of the execution of a component-based software architecture with Rho-Arq calculus formal specification	spa
dc.type.coar	http://purl.org/coar/resource_type/c_bdcc	spa
dc.type.driver	info:eu-repo/semantics/masterThesis	spa