[aosd-discuss] invasives aspects

[Fernando Asteasuain]

 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://aosd.net/pipermail/discuss_aosd.net/attachments/20070108/62c10000/attachment.html