Re: Completeness and Correctness of AspectJ Weaving

This is a multi-part message in MIME format.
--------------000906070803060902080102
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit

Donisthorpe C (AT) schrieb:
> Hi
>  
> I dont think priorities between aspects necessarily help because whilst 
> you may plan for an exception it will generally have the effect of 
> undoing the weave.  Perhaps, if there is more than one crosscutting 
> concern it will be very difficult to predict all possible interactions 
> and assure completeness?

Hi Charles,

the paper
http://www.iai.uni-bonn.de/~gk/papers/kniesel-weavingInteractions-taosd2007-preprint.pdf
shows that it is feasible to predict all potential *weaving*
interactions and to automatically assure completeness of
*weaving* or to pinpoint the precise reason why a given set
of aspects is not weavable without additional information from
the user. That information might take the form of partial ordering
specifications at the level of advices or introductions (not aspects,
which is too coarse-grained).

Other researchers have worked on semantic interactions. See the related
work section of the paper.

If you want to try out a small example that illustrates the weaving
problems of AspectJ, the example given in the paper is attached.
You can also get it from
http://roots.iai.uni-bonn.de/research/condor/downloads/pub/Demo_AJ_WeavingInterference.zip

Have fun,
Günter



--------------000906070803060902080102
Content-Type: application/x-zip-compressed;
	name="Demo_AJ_WeavingInterference.zip"
Content-Transfer-Encoding: base64
Content-Disposition: inline;
 filename="Demo_AJ_WeavingInterference.zip"

UEsDBBQAAAAIACiKNjrvv1ZenwAAADIBAAAmAAAARGVtb19BSl9XZWF2aW5nSW50ZXJmZXJl
bmNlLy5jbGFzc3BhdGizsa/IzVEoSy0qzszPs1Uy1DNQUkjNS85PycxLt1UKDXHTtVCyt+Pl
sknOSSwuLkgsyQByOBG81LySokqF7My8FFul4qJkJQWQoK2Skj5uZcn5eTBl+UXpeqnJOZkF
xal6WSklejmJpXnJGUCr9byCXOOd/f1CHD39XIPIMC0RZFxyflGqnmNwgKtziFdQCHHm5ZeW
FJSWoPjDRh/Z8wBQSwMEFAAAAAgADaE2OsswsCbXAAAAwwEAACQAAABEZW1vX0FKX1dlYXZp
bmdJbnRlcmZlcmVuY2UvLnByb2plY3R1UbEOwiAUnDXxH0x3i24OWGNsTHRV42iQPhuaAs2D
Nn6+gFRTjRPvjrt3F6Drh6ynHaARWq2SRTpPpqC4LoQqV8n5tJstk3U2GdMGdQXc5mA4isY6
tWNHVDEJWQ5SXzeH6wVY53x7ZQHvgG4PUBIUXsq1lKBsRkk/eTbuNQGQAbq1oi6ODXCPItw6
K1NFYGK6xjIFXovGQMqqwqZco5+CHvDTwBkYlq2PNhGTIUHJd0hk+hYu0bYIUf0CvwVa4c7X
pU8Pon+Gd+GKdezX088+8f08w094AlBLAwQKAAAAAABUnDY6AAAAAAAAAAAAAAAAKgAAAERl
bW9fQUpfV2VhdmluZ0ludGVyZmVyZW5jZS9jb3VudGVyZ2V0dGVyL1BLAwQUAAAACAB3ljY6
kU1o3TAEAAB3CwAANwAAAERlbW9fQUpfV2VhdmluZ0ludGVyZmVyZW5jZS9jb3VudGVyZ2V0
dGVyL0FyYml0cmF0b3IuYWq9Vl1v2zYUfTfg/3D7tDiwZEn+aJIuA5qt7VxgGNAF22NASdc2
G5kURMqqMWy/ffeSkmIn3tJt3fQgJeb9PDz3kKXI7sUaIdO1slit0dL71XAwHJR1WsgMhCkx
s/C6SqWthNUV/Ar0DAeTCX1yzApRIZQVZpijyhCu4J0LMoZvfUx4RdanLVuLceviLIeD3/hF
Cc7Z7xxusNANsK/dIORytcIKlT17MYIKTV1YA3oFVa2UVGu4EQbDrZDqbOTdTZ1+5A6shgbF
jm04ju/LgFSAkn6oOAgv2EaDrnKsjPcXqd4hNGQDr53Pe4jDeZiM3Wcajqm13V1yEUZJmETR
SxAqp6VFmDh39/pRFXvvFfpInOgAiceIpbgRO2wLyHRFlrbYh/CW4M/RClkYMIjDwcba8moy
aZomlEKGtZJBqpUKc5z8vr6flKKkPib3SqLBImj7X3IOkVmplQms0CbnugOqp6yksmGZrzjx
pN+G83/9UDz4xUH4/rtbQmIWxgzWIo6TabSYz8fcqn8OQZ52Rkkcxxfgut8RHcotEQDSWha5
fQx/H6hjhAP8TVbI0iD8THhQ30CRwxjObjgEyBx+4ETRZRIH0eVsPuIgvI9NXzOtX965bb2L
4mgex9PZbNzleqh54Wu+iJN4EVOkKOpsnilnFkYP5VzBkoNQ6y8D+iNy9Zxi+F5ikRtoKk0L
3TSsCKeW0+30Oj6HDppbYl5HM2lAEZ4VNERxRaNAM8LM3KLd6Jz/r3ReE0kh3bsFz1MHjg/s
XFxBLvhwcH19DR9OT6Wr6xnik/s3TLogCGjuyQGpK5GDyDI0hmd4FQ4HSwVeqEJv+VYqUcBO
FDVy0tWdUzNuL2ot3nzicqmRJ0aNMLRtbpOGg6+p+u+xVRqpsgod0UgjHrrnsFtpDLX1onWD
f9D5Y+n7jM6Hg5/Q9oXTL/EBFM8hEX8WEFzBX4Ow7kEwVhZFB4VneVpTXRtaY4yEuffMEeog
jN0ICxtRlqhYfL0fB/YcLguR4RUJoEPgOGEmigLzkChMIbyj2ei6yNVXRPEsqyugUjLvtuLJ
6NFjD2/bOqbdkZdDrklplbaAn6SxVO1+S7mZ0F9aAo8VMHLiFi2SyziZTaPICc7REfPIgCJ4
Eul1Jbbd7HM/gVvw8w8ka7SV2G706OHAcSrwZOQ465MYCZy5/RiBZh1ppEEG4r+f7gNGwym+
fzGSk9lty1SuuoPLH71S16wt/89QL7vZoOzHzX4gW063gp0UHSpenP/ULXkOo+RvYdQLQXtB
9F9zakDVTmeCLxXtsSisW/6oSTlKevWzz9503FD1dOz0Z0uv6OxLpxSJhu2yiTUddycCHmuS
d/X4sErUhkM4HtP1qw1lG5nRcC97PdB8N/OuLUZHQduzsBMWYTvGOD8nV52GscY4TeQWBd1U
+dp2dHT1mvIHUEsDBBQAAAAIACGWNjpyw4NBTwEAAE4CAAAzAAAARGVtb19BSl9XZWF2aW5n
SW50ZXJmZXJlbmNlL2NvdW50ZXJnZXR0ZXIvQmFzZS5qYXZhfZHBboMwEETPIPEPI04kbaA9
Rzk0UvsD6a2qqsWsiVtiI9uERFX/vcaQU6VKGNnWzpvdcU/ii1qGMIP2bFv24b/N0iyt1ng9
KgfRkXMIG5KShecG9RV+NCDXh7O7h9EMahqlWxBmQpZiDWks/JEhFXcNJEg3sTZ6xWoh2Dl2
8AayxIE51kfxk62Vt+SNLelz8YpE0uBL35Emr4yGkRiP5NGawBmt0W0ZAVWW9kPdKbEMsCfH
+M7SZLl1PugFzkY1OJHSxcHb0NPbO8i2bhVLE81jFBar0g66WIVgkp+wJoxVZ/IMpUNb2OFh
C1RViOw2b5ipZrAW1LuhC6XNLIyOkTZ7HK7O86k0gy8DU/tOF/lms8Gew7QMy9QsQcWY8thE
MtkGWb+T2/8gL0pThzN1A09JyY+Y/fSaOe5ux9W/iOdLPz/7H8pIDo85bqmE7xdQSwMEFAAA
AAgAzJU2OiA8oystAQAAOwIAADQAAABEZW1vX0FKX1dlYXZpbmdJbnRlcmZlcmVuY2UvY291
bnRlcmdldHRlci9Db3VudGVyLmFqjVLNaoNAED4r+A4fOURNwPTc0EPbQx8gD1A2u2NcslFx
14YQ8u6dWU1LoIcKCjvffH9qr/RRHQi6G9tAw4ECP7dZmqWb1SpLscKrMVB3HHXHtyVnkNs2
oM4ROminvEf+pjzlUK2BbfVAJ+IFG6LIuaGWvpgfGpr5NayH0pq8J4Pi3FjdCNGNhnzcm0Ax
qKOIbeN4yogThabjaMYwfX+J0McEKd+TDmUFoW2ytB/3zup5jPe5yjVLE17gi6vGmv8vKarJ
LCsrMq3qzyiAFzxhiwf16AnlHIwdJMRcfGr3YNXVf1jtiTNRIROEEs+Qt1D8OpdYLhGUfL+C
8SvEPgn3SOv1Vs67iw90qroxVP3AZNcWMk4WO2LrOT0HWmCNHy5vSItSFG6x1E1+jyz9BlBL
AwQUAAAACADXlTY63OvXfCMBAAApAgAAMwAAAERlbW9fQUpfV2VhdmluZ0ludGVyZmVyZW5j
ZS9jb3VudGVyZ2V0dGVyL0dldHRlci5hapWRQU+EMBCFz5DwH557ENgD3OWkF+PZ+ANqO91t
xELooNls9r87A8TsJl5MgIb2zZtvXkdjP8yBYIc5Mk0HYvl2RV7k7X5f5Njj0TkYrAfwg7yB
eocyRIYvwQNsb1JC+WQSlTDRgaLoLGGpD5wwJ0KIick4DF40J7gwkWUYa0mKxaX0ZaMFbZGP
83sfLMYpfIWeDiQAaVT180pxhlhn8gjjf/nUP9saqER3G6n2VS2+cpa9ngT0sxlmboQgch+r
3UvcOuzqTjUT8TxF+E4rLlc0ssjMbzIvH+maSn9vySSIG7ItoNXhr5Sa5Uj51cFMcmWu0lpw
jYeFHdCe1e9gvgbu78FGb7YS2TlD2+rW3XfgY4jVGmmNq6l4y6NbYr4sw11+AFBLAwQUAAAA
CAD7pjY6IkkSyJUBAACWAgAAJgAAAERlbW9fQUpfV2VhdmluZ0ludGVyZmVyZW5jZS9SRUFE
TUUudHh0TVJNb9swDL0HyH/gMQVSOU3RFdstw4Ci2XEdeixoia5V2KJBSQmy377DSGcNchEE
ie+Dj3zpY4Y84jDALk/kyx4m4Q+9QKCRUy6ChfJysVzALXQYhyoE3MGR8BDTO2A4RE8QU2E7
hEP1JSpQAWCFXHoSwJk8a8lF5849uHsHirtzX9z9LAGAKfwXw4uG8pJ0JJRUaYUJSIQTcc1A
XadkN+sZW3oskHuuQwD2vorJXbd2IMkXbyvtq1CAYyz9bGa7/vSkJs6mbszLLyKlJujiQOC5
mpt3Knq6nbTREmJx+AEdC4wsloZeR7QcnOGL4eXMMgl5CnMrJ65wxFQsgyKn9dwwzepamUBq
gu+YyZmLF8Wi+D4ezEQqGJNlU2yAnyPzmk2r42ntV1vrhMfloi9l+tY0wlyyixhdTfG25ZRc
oEYok9E2yhlYmsDHNDCG3Ey1bX7oDrzt9m+v50k8Xw3C/YmT+Xr6a4/wM0VlGpaL3SRxgM3j
GrabzSOsfk8BLeY9popygu12/vkK88L4oQa6Wolz5v8AUEsDBAoAAAAAAAanNjoAAAAAAAAA
AAAAAAAcAAAARGVtb19BSl9XZWF2aW5nSW50ZXJmZXJlbmNlL1BLAQIUABQAAAAIACiKNjrv
v1ZenwAAADIBAAAmAAAAAAAAAAEAIAC2gQAAAABEZW1vX0FKX1dlYXZpbmdJbnRlcmZlcmVu
Y2UvLmNsYXNzcGF0aFBLAQIUABQAAAAIAA2hNjrLMLAm1wAAAMMBAAAkAAAAAAAAAAEAIAC2
geMAAABEZW1vX0FKX1dlYXZpbmdJbnRlcmZlcmVuY2UvLnByb2plY3RQSwECFAAKAAAAAABU
nDY6AAAAAAAAAAAAAAAAKgAAAAAAAAAAABAA/0H8AQAARGVtb19BSl9XZWF2aW5nSW50ZXJm
ZXJlbmNlL2NvdW50ZXJnZXR0ZXIvUEsBAhQAFAAAAAgAd5Y2OpFNaN0wBAAAdwsAADcAAAAA
AAAAAQAgALaBRAIAAERlbW9fQUpfV2VhdmluZ0ludGVyZmVyZW5jZS9jb3VudGVyZ2V0dGVy
L0FyYml0cmF0b3IuYWpQSwECFAAUAAAACAAhljY6csODQU8BAABOAgAAMwAAAAAAAAABACAA
toHJBgAARGVtb19BSl9XZWF2aW5nSW50ZXJmZXJlbmNlL2NvdW50ZXJnZXR0ZXIvQmFzZS5q
YXZhUEsBAhQAFAAAAAgAzJU2OiA8oystAQAAOwIAADQAAAAAAAAAAQAgALaBaQgAAERlbW9f
QUpfV2VhdmluZ0ludGVyZmVyZW5jZS9jb3VudGVyZ2V0dGVyL0NvdW50ZXIuYWpQSwECFAAU
AAAACADXlTY63OvXfCMBAAApAgAAMwAAAAAAAAABACAAtoHoCQAARGVtb19BSl9XZWF2aW5n
SW50ZXJmZXJlbmNlL2NvdW50ZXJnZXR0ZXIvR2V0dGVyLmFqUEsBAhQAFAAAAAgA+6Y2OiJJ
EsiVAQAAlgIAACYAAAAAAAAAAQAgALaBXAsAAERlbW9fQUpfV2VhdmluZ0ludGVyZmVyZW5j
ZS9SRUFETUUudHh0UEsBAhQACgAAAAAABqc2OgAAAAAAAAAAAAAAABwAAAAAAAAAAAAQAP9B
NQ0AAERlbW9fQUpfV2VhdmluZ0ludGVyZmVyZW5jZS9QSwUGAAAAAAkACQAlAwAAbw0AAAAA

--------------000906070803060902080102
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
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

--------------000906070803060902080102--