Re: invasives aspects

"Awais Rashid" <[email protected]>
Newsgroups gmane.comp.programming.aspect.general
Organization Lancaster University, UK
Message-ID <[email protected]>
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: [email protected] [mailto:[email protected]] On Behalf
Of Fernando Asteasuain
Sent: 08 January 2007 22:11
To: [email protected]
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. 
  


_______________________________________________
discuss mailing list    -    [email protected]

To unsubscribe and change options, go to:
http://aosd.net/mailman/listinfo/discuss_aosd.net

Check out the AOSD.net Wiki: http://aosd.net/wiki
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.