Compositionality of aspect weaving.
Kammueller, Florian and Sudhof, Henry (2008) Compositionality of aspect weaving. In: Autonomous systems: self-organisation, management, and control. Mahr, Bernd and Sheng, Huanye, eds. Springer-Verlag, pp. 87-96. ISBN 9781402088889
One approach towards adaptivity is aspect-orientation. As- pects enable the systematic addition of code into existing programs. In order to provide safe and at the same time flexible aspects for such adap- tive systems we address the verification of the aspect-oriented language paradigm. This paper first gives an overview of our aspect calculus and summarizes previous results. Then we present a new compositionality lemma prerequisite for so-called run-time weaving. The entire theory and proofs are carried out in the theorem prover Isabelle/HOL.
|Item Type:||Book Section|
Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008.
|Research Areas:||A. > School of Science and Technology > Computer Science > Foundations of Computing group|
A. > School of Science and Technology > Computer Science > Artificial Intelligence group
|Permissions granted by publisher:||Post refereed version as permitted by publisher.|
|Deposited On:||02 Mar 2011 09:45|
|Last Modified:||01 May 2015 09:48|
Repository staff only: item control page
Full text downloads (NB count will be zero if no full text documents are attached to the record)
Downloads per month over the past year