SciELO - Scientific Electronic Library Online

vol.28 issue6Parametric Projections to Escape from Edges in Polyhedrons of the Type Ax ≤ bDetermination of the Velocity of ParticlesTransported by Saltation in Horizontal Ducts author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand




Related links

  • On index processCited by Google
  • Have no similar articlesSimilars in SciELO
  • On index processSimilars in Google


Información tecnológica

On-line version ISSN 0718-0764


VIDAL-SILVA, Cristian L; BUSTAMANTE-UBILLA, Miguel A; LAPO-MAZA, María del Carmen  and  NUNEZ-LAPO, María de los Ángeles. JPIAspectZ: An Extension of AspectZ for Formal Requirement Specification of JPI Aspect-Oriented Applications. Inf. tecnol. [online]. 2017, vol.28, n.6, pp.189-198. ISSN 0718-0764.

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.

Keywords : JPIAspectZ; JPI; AspectZ; Aspects; Join Point Interface.

        · abstract in Spanish     · text in Spanish     · Spanish ( pdf )


Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License