JPIAspectZ: Una Extensión de AspectZ para la Especificación Formal de Requerimientos de Aplicaciones Orientadas a Aspectos JPI
| Autor: | Cristian L Vidal-Silva, María del Carmen Lapo-Maza, Miguel A Bustamante-Ubilla, María de los Ángeles Núñez-Lapo |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Computer science
business.industry Strategy and Management Software development AspectJ Context (language use) Geotechnical Engineering and Engineering Geology Industrial and Manufacturing Engineering Computer Science Applications General Energy business Modular software computer Humanities Formal requirements specification Food Science computer.programming_language |
| Zdroj: | Información tecnológica. 28:189-198 |
| ISSN: | 0718-0764 |
| DOI: | 10.4067/s0718-07642017000600020 |
| Popis: | espanolEl objetivo de este articulo es proponer, describir y ejemplificar el uso de JPIAspectZ, una extension del lenguaje formal orientado a aspectos AspectZ para la especificacion formal de requerimientos de aplicaciones software. Considerando que las principales caracteristicas de JPI son la definicion de interfaces de punto union, este articulo muestra como JPIAspectZ tambien soporta estas propiedades de JPI en un contexto de especificacion formal de requerimientos. El Desarrollo de Software Orientado a Aspectos (DSOA), por medio de modulos de aspectos, permite solucionar un par de problemas de modularizacion del enfoque de Desarrollo de Software Orientado a Objetos (DSOO), pero el DSOA agrega dependencias implicitas entre clases y aspectos. La metodologia DSOA-JPI define interfaces de puntos de union entre artefactos aconsejables y aspectos aconsejadores y asi solucionar los problemas de dependencia de DSOA tradicional estilo AspectJ para la produccion de software modular. Se concluye que las interfaces de punto de union como intermediarias entre clases y aspectos son perfectamente especificables formalmente con la propuesta de lenguaje JPIAspectZ. EnglishThe objective of this article is to propose, describe and exemplify the use of JPIAspectZ, an extension of the aspect-oriented formal language AspecrtZ for the formal requirements specification of software applications. Since the main JPI features are the join point interfaces definition, this article shows how JPIAspectZ also support these JPI properties in a formal requirements specification context. The Aspect-Oriented Software Development (AOSD), by mean of aspects modules, permits solving a few modularization issues of the Object-Oriented Software Development (OOSD) approach, but AOSD adds implicit dependencies between classes and aspects. The AOSD-JPI methodology defines join point interfaces between advisable artifacts and adviser aspects, thus solving the implicit dependencies of traditional AOSD AspectJ style for the modular software production. This article concludes that join point interfaces, as mediators between classes and aspects are perfectly specifiable in a formal way by the JPIAspectZ language proposal. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|