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 de aplicaciones software. Considerando que las principales características de JPI son la definición...
Guardado en:
Autores principales: | , , , |
---|---|
Lenguaje: | Spanish / Castilian |
Publicado: |
Centro de Información Tecnológica
2017
|
Materias: | |
Acceso en línea: | http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-07642017000600020 |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Sumario: | 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 de aplicaciones software. Considerando que las principales características de JPI son la definición de interfaces de punto unión, este articulo muestra como JPIAspectZ también soporta estas propiedades de JPI en un contexto de especificación formal de requerimientos. El Desarrollo de Software Orientado a Aspectos (DSOA), por medio de módulos de aspectos, permite solucionar un par de problemas de modularización del enfoque de Desarrollo de Software Orientado a Objetos (DSOO), pero el DSOA agrega dependencias implícitas entre clases y aspectos. La metodología DSOA-JPI define interfaces de puntos de unión entre artefactos aconsejables y aspectos aconsejadores y así solucionar los problemas de dependencia de DSOA tradicional estilo AspectJ para la producción de software modular. Se concluye que las interfaces de punto de unión como intermediarias entre clases y aspectos son perfectamente especificables formalmente con la propuesta de lenguaje JPIAspectZ. |
---|