Re: Completeness and Correctness of AspectJ Weaving
Günter Kniesel <[email protected]> Thu, 22 Jan 2009 15:52:39 +0100
| Newsgroups | gmane.comp.programming.aspect.general |
|---|---|
| Message-ID | <[email protected]> |
Pascal Costanza schrieb: > = > On 21 Jan 2009, at 20:21, DIMA MOHAMMED ALHADIDI wrote: > = >> Hi, >> = >> Is AspectJ has a complete and correct weaving taking into = >> consideration aspect interference and interaction? >> = >> What I mean by completeness that every aspect advice must be = >> applied at all the join points matched by the = >> associated pointcut whereas what I mean by correctness that every = >> aspect advice must be applied only at the join points that match the = >> associated pointcut. > = > There is no such thing as an assurance that all aspects are triggered at = > a specific join point. If several pieces of advice apply at a join = > point, the first may, for example, throw an exception, which means that = > the other ones are not called. Or, the first may be a piece of around = > advice that doesn't proceed (or worse, proceeds only conditionally). Etc. Pascal, you're right, an advice might do odd things so another one might never have a chance to execute. However, completeness and correctness *of aspect weaving* refer to a more basic level: Whether the advice is woven wherever it should and only there. It is this notion of completeness and correctness that is already violated by several systems, including AspectJ. You might remember the work I did on this topic while you were still at Bonn (Condor). However, the papers that I referenced in my first answer to Dima were published after you left so you might want to have a look. Regards, G=FCnter > Pascal > = > -- = > Pascal Costanza, mailto:[email protected], http://p-cos.net > Vrije Universiteit Brussel > Programming Technology Lab > Artificial Intelligence Lab > Pleinlaan 2, B-1050 Brussel, Belgium > = > = > = > = > ------------------------------------------------------------------------ > = > _______________________________________________ > 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 -- = G=FCnter Kniesel -------------------------------------------------------------------- Dr. G=FCnter Kniesel http://www.cs.uni-bonn.de/~gk/ Institut f=FCr Informatik III [email protected] Universit=E4t Bonn R=F6merstr. 164 (Raum A107) Tel (+49 228) 73-4511 D-53117 Bonn Fax (+49 228) 73-4382 _______________________________________________ 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