Re: Completeness and Correctness of AspectJ Weaving

DIMA MOHAMMED ALHADIDI schrieb:
> 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.
> =


Hi Dima,

unfortunately, the short answer is no. The long answer is in the two papers
referenced below. Both discuss precisely the question that you raised, show=
ing
how to analyse arbitrary aspect languages to find out about completeness and
correctness of weaving. Only the TAOSD version discusses the
implications for AspectJ.

Cheers,
G=FCnter

@ARTICLE{kniesel:taosd:dia:2008,
   AUTHOR =3D       {G{\"u}nter Kniesel},
   TITLE =3D        {Detection and Resolution of Weaving Interactions},
   JOURNAL =3D      {Transactions on Aspect-Oriented Software Development
                  (Special issue `Dependencies and Interactions with Aspect=
s')},
   EDITOR =3D       {R. Chitchyan and Johan Fabry and Shmuel Katz and Arend=
 Rensink},
   VOLUME =3D       {LNCS},
   MONTH =3D        {submitted October 2006, accepted May 2007, to appear A=
pril 2009},
   YEAR =3D         {2009},
   publisher =3D    {Springer-Verlag},
   url =3D         {http://www.iai.uni-bonn.de/~gk/papers/kniesel-weavingIn=
teractions-taosd2007-preprint.pdf},
}


@inproceedings{kniesel:wcre:2006,
     author     =3D {G\"{u}nter Kniesel and Uwe Bardey},
     title      =3D {An Analysis of the Correctness and Completeness of Asp=
ect Weaving},
     booktitle  =3D {Proceedings of Working Conference on Reverse Engineeri=
ng 2006 (WCRE 2006)},
     address    =3D {Benevento, Italy},
     date       =3D {23-27},
     month      =3D {October},
     year       =3D {2006},
     publisher  =3D {IEEE},
     pages      =3D {324-333},
     ISBN       =3D {0-7695-2719-1},
     url        =3D {http://www.cs.uni-bonn.de/~gk/papers/knieselBardey-ana=
lysingCC4AW-aaa06.pdf},
}



--------------------------------------------------------------------
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