JPIAspectZ: Una Extensión de AspectZ para la Especificación Formal de Requerimientos de Aplicaciones Orientadas a Aspectos JPI

摘要

El objetivo de este artículo es proponer, describir y ejemplificar el uso de JPIAspectZ, una extensión del lenguaje formal orientado a aspectos AspectZ para la especificación formal de requerimientos deaplicaciones software. Considerando que las principales características de JPI son la definición deinterfaces de punto unión, este articulo muestra como JPIAspectZ también soporta estas propiedades deJPI en un contexto de especificación formal de requerimientos. El Desarrollo de Software Orientado aAspectos (DSOA), por medio de módulos de aspectos, permite solucionar un par de problemas demodularización del enfoque de Desarrollo de Software Orientado a Objetos (DSOO), pero el DSOA agregadependencias implícitas entre clases y aspectos. La metodología DSOA-JPI define interfaces de puntos deunión entre artefactos aconsejables y aspectos aconsejadores y así solucionar los problemas dedependencia de DSOA tradicional estilo AspectJ para la producción de software modular. Se concluye quelas interfaces de punto de unión como intermediarias entre clases y aspectos son perfectamenteespecificables formalmente con la propuesta de lenguaje JPIAspectZ.