Abstract:  La orientación a aspectos (OA) es una técnica de ingeniería de software que permite mejorar la modularización de áreas de interés en un sistema. El problema que la orientación a aspectos trata de resolver es que existen requerimientos o áreas de interés que no pueden ser fácilmente modularizados. Estos elementos son llamados en la literatura “crosscutting concerns.”

La idea detrás de la OA es que un sistema pueden ser mejor organizado al identificar esos elementos que se encuentran distribuidos y afectan varios módulos. Tras la identificación de los elementos que determinan tangencialmente un conjunto base de módulos la OA propone el uso de mecanismos de transformación automático o semi-automático (“weaver”) para incorporar los aspectos al sistema base. Estas ideas asumen que el resultado será un software más fácil de mantener y evolucionar.

En este trabajo nos hemos enfocado a explorar los conceptos subyacentes de la OA, a obtener nuestra definición de aspecto y los así llamados "`crosscutting concerns,"' y finalmente introducir un modelo formal para la composición de aspectos. Este modelo está basado en el lenguaje formal FOCUS para el desarrollo de sistemas de software. Este lenguaje nos permite plantear un modelo de composición formal. Este modelo se inspira en "Composition Filters" (CF). El modelo que planteamos permite analizar el problema de la interacción de aspectos. Esto quiere decir, que la modificación de un sistema a través de la introducción de nuevos elementos puede tener consecuencias indeseadas en relación al funcionamiento tanto del sistema base como de los aspectos antes considerados en aislamiento.

Una de las aportaciones de este trabajo es formular los filtros de composición de manera formal con la teoría FOCUS y mostrar una aplicación con dos aspectos: encripción y autenticación.

Adicionalmente, esta presentación aporta una visión general de la adapción dinámica, como parte de mi trabajo en curso.