Validación de arquitecturas a través de la programación orientada a aspectos

• Autores: Graiño, Claudio Ariel
• Año de publicación: 2015
• Idioma: español castellano
• Tipo de recurso: tesis de grado
• Colaborador/a o director/a de tesis: Asteasuain, Fernando
• Materia: ARQUITECTURAS DE SOFTWARE; PROGRAMACION ORIENTADA A ASPECTOS; VALIDACION DE CONECTORES; ANALISIS DINAMICO; SOFTWARE ARCHITECTURES; ASPECT ORIENTED PROGRAMMING; CONNECTOR VALIDATIONS; DYNAMIC ANALYSIS
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

Las arquitecturas de software se enfocan en el diseño y modelado de sistemas con un alto nivel de abstracción, revelando sólo las principales interacciones entre los elementos de software involucrados, ignorando detalles de carácter implementativo de bajo nivel. Uno de los desafíos más relevantes dentro del mundo de las arquitecturas de software es poder determinar si, dado un sistema, éste cumple o satisface su especificación arquitectónica. Esto se debe principalmente a dos razones. Por un lado, es difícil llevar una trazabilidad de elementos arquitectónicos a código, ya que conviven en distintos niveles de abstracción. Por otro lado, la especificación arquitectónica sufre de un problema conocido como separación y erosión (drift & erosión). Esto ocurre cuando la especificación arquitectónica queda desactualizada frente a la evolución y/o cambios del sistema. Muchas veces la estructura estática de un sistema (clases, paquetes, etc) no está relacionada con su comportamiento arquitectónico, por lo que una aproximación razonable para comprobar si un sistema cumple su especificación arquitectónica es observar su comportamiento en ejecución. En particular, dado que el comportamiento arquitectónico puede entrecruzar o atravesar distintas partes del sistema, la utilización de mecanismos avanzados de modularización como los propuestos en la Programación Orientada a Aspectos comprende un enfoque atractivo para encarar el problema descrito. Dado este contexto, esta tesis pretende combinar mecanismos de la Programación Orientada a Aspectos para poder determinar si la implementación de un sistema cumple con su especificación arquitectónica. Específicamente, en este trabajo se atacará el problema de validar la utilización de conectores al reconstruir la arquitectura dinámicamente de un sistema en ejecución haciendo uso de la programación orientada a aspectos.
Software architectures focus on system design and modeling at a high level of abstraction, by revealing only the main interactions between involved software elements, ignoring low level details. One of the key challenges in the software architecture domain is to be able to determine if a given system’s implementation satisfies its architecture. This problem arises mainly from two factors. On one hand, it’s hard to translate architectural elements to code, since they live in different abstraction levels. On the other hand, the specification suffers from problems known as drift & erosion. This occurs when the architecture gets outdated in relation to the evolution and/or changes of the system. Often, the static structure of a system (classes, packages, etc) is not related to the behavior of the architecture. Therefore, a reasonable approach to check if a system satisfies its architecture is to analyze the behavior in run time. In particular, since the architectural elements may cross various parts of the system, the use of advanced mechanisms of modularization as the ones proposed by the Aspect Oriented Programming might be an attractive approach to deal with the described problem. Given this context, this thesis combines mechanisms of the Aspect Oriented Programming to determine if the implementation of a system satisfies its architecture. In particular, in this thesis we will tackle the problem of validating the use of connectors by dynamically generating the architecture of an executing system using aspect oriented programming.
Fil: Graiño, Claudio Ariel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.