Compositionality of aspect weaving.
Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488 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.
[Book Section]
|
PDF
Download (197kB) | Preview |
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.
| Item Type: | Book Section |
|---|---|
| Additional Information: | 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 |
| Item ID: | 7220 |
| Notes on copyright: | Post refereed version as permitted by publisher. |
| Useful Links: | |
| Depositing User: | Dr Florian Kammueller |
| Date Deposited: | 02 Mar 2011 09:45 |
| Last Modified: | 30 Nov 2022 01:51 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/7220 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)