Un marco conceptual para la formalización de crosscutting en desarrollos orientados a aspectos

El concepto de crosscutting suele ser descrito en términos de scattering y tangling. Sin embargo, la distinction entre estos términos no suele ser concisa, llevando a situaciones ambiguas. En muchas ocasiones se hace necesario tener definiciones más precisas, por ejemplo para determinadas áreas de investigación como la identificación formal de asuntos transversales o crosscutting concerns. Proponemos un marco de trabajo conceptual para la formalización de estos conceptos basado en lo que denominamos un patrón de crosscutting que representa la relación entre elementos de dos niveles diferentes, por ejemplo concerns y una representación de dichos concerns. Estos conceptos son definidos formalmente en términos del álgebra lineal y representados mediante matrices y operaciones con dichas matrices. De este modo, el concepto de crosscutting puede ser claramente diferenciado de los términos de scattering y tangling. La utilidad de las matrices de dependencias presentadas se ilustra mediante el análisis de crosscutting a lo largo de una serie de niveles de refinamiento, que puede ser formalizado en lo que hemos denominado la concatenación de patrones de crosscutting.