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]

[img]
Preview
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: 10 Jun 2021 05:09
URI: https://eprints.mdx.ac.uk/id/eprint/7220

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
281Downloads
387Hits

Additional statistics are available via IRStats2.