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)