论文信息 - Formalization of an Aspect-Oriented Modeling Approach

Formalization of an Aspect-Oriented Modeling Approach

Aspect-oriented programming offers special concepts, such as advices and join points, to implement crosscutting concerns which are activated at various points throughout a program, therefore modifying its base behavior. This article presents a high-level aspect-oriented modeling approach and shows how it can be formalized to allow the verification of aspect composition. Models written in Aspect-UML (our UML profile) are translated into COOPN/2 Petri nets, whose corresponding state graphs can be formally verified by model-checking.

Farida Mostefaoui | Julie Vachon | J. Vachon | Farida Mostefaoui

[1] Cristina V. Lopes,et al. Aspect-oriented programming , 1999, ECOOP Workshops.

[2] Kathi Fisler,et al. Verifying aspect advice modularly , 2004, SIGSOFT '04/FSE-12.

[3] Olivier Biberstein. CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems , 1997 .

[4] Farida Mostefaoui,et al. Approche basée sur les réseaux de Petri pour la vérification de la composition dans les systèmes par aspects , 2006, Obj. Logiciel Base données Réseaux.

[5] Rémi Douence,et al. Composition, reuse and interaction analysis of stateful aspects , 2004, AOSD '04.

[6] Farida Mostefaoui,et al. Achieving Supplementary Requirements Using Aspect-Oriented Development , 2004, ICEIS.

[7] Awais Rashid,et al. Modular Aspect Verification for Safer Aspect-Based Evolution , 2005, RAM-SE.