Evolución de sistemas orientados a aspectos utilizando patrones de interacción

M.A. Pérez Toledano, A. Navasa, J.M. Murillo, C. Canal

XI Jornadas en Ingeniería del Software y Bases de Datos (JISBD’2006)

Sitges, Octubre 2006

Ingeniería del Software y Bases de Datos, pp. 514–519, CIMNE, 2006, ISBN 84-95999-99-4

Resumen

El Desarrollo de Software Orientado a Aspectos facilita la encapsulación de métodos y reduce los tiempos de desarrollo sin comprometer la calidad de los sistemas construidos. No bostante, la inclusión de aspectos dentro de un código software existente puede provocar que el sistema resultante no tenga el comportamiento esperado por el desarrollador. Este trabajo se centra en resolver este tipo de problemas utilizando especificaciones UML y a partir de ellas obtener descripciones algebraicas y potentes máquinas de estados que modelen el sistema. Esto permitirá realizar operaciones de verificación, simulación y testeo que estudien el comportamiento y propiedades del modelo construido y las comparen con las del código obtenido. (Artículo)