[aosd-discuss] invasives aspects

[Awais Rashid]

Fernando,

I suggest looking at the following:

S. Katz, "Aspect Categories and Classes of Temporal Properties",
Transactions on Aspect-Oriented Software Development, Vol. 1, No., pp.
106-134, 2006.

C. Clifton and G. T. Leavens, "Observers and Assistants: A Proposal for
Modular Aspect-Oriented Reasoning", Proceedings of the Workshop on
Foundations of Aspect-Oriented Languages, 2002, Iowa State University
Technical Report 02-06, pp. 33-44.

Awais.

________________________________________
From: discuss-bounces at aosd.net [mailto:discuss-bounces at aosd.net] On Behalf
Of Fernando Asteasuain
Sent: 08 January 2007 22:11
To: discuss at aosd.net
Subject: [aosd-discuss] invasives aspects

Hello:
 
I'm looking for examples where aspects behave not only as an observer, but
also interact and modify the base system. For example, in an ATM system we
want the user to immediately pay for every ATM operation. This aspect
modifies the system state, since the amount of money in the user's account
will change. 
This example is mentioned in the paper "Verifying Scenario-Based Aspect
Specifications" (Emilia Katz and Shmuel Katz). This type of aspects is known
as "invasives". Do you know others interesting examples of invasives
aspects? Are these kinds of aspects "accepted" in the community or their use
it's discouraged?    
 
Thanks, Fernando.