[aosd-discuss] invasives aspects
amm at di.fct.unl.pt
Tue Jan 9 10:22:08 EST 2007
the workshop "Aspects, Dependencies and Interactions" (
http://www.comp.lancs.ac.uk/computing/aosd-europe//adi06/), organized at
ECOOP 2006, may contribute with interesting info for you.
On 1/8/07, Fernando Asteasuain <feraste at gmail.com> wrote:
> 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.
> discuss mailing list - discuss at aosd.net
> To unsubscribe and change options, go to:
> Check out the AOSD.net Wiki: http://aosd.net/wiki
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the discuss