Regresar

JPIAspectZ: An extension of AspectZ for formal requirement specification of JPI aspect-oriented applications

Abstract:

The 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.