Compositionality of aspect weaving.
Book chapter
Kammueller, F. and Sudhof, H. 2008. Compositionality of aspect weaving. in: Mahr, B. and Sheng, H. (ed.) Autonomous systems: self-organisation, management, and control. Springer Verlag. pp. 87-96
Chapter title | Compositionality of aspect weaving. |
---|---|
Authors | Kammueller, F. and Sudhof, H. |
Abstract | 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. |
Research Group | Foundations of Computing group |
Artificial Intelligence group | |
Page range | 87-96 |
Book title | Autonomous systems: self-organisation, management, and control. |
Editors | Mahr, B. and Sheng, H. |
Publisher | Springer Verlag |
ISBN | |
Hardcover | 9781402088889 |
Publication dates | |
2008 | |
Publication process dates | |
Deposited | 02 Mar 2011 |
Output status | Published |
Copyright Statement | Post refereed version as permitted by publisher. |
Additional information | Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008. |
Language | English |
File |
https://repository.mdx.ac.uk/item/83276
Download files
40
total views8
total downloads1
views this month0
downloads this month