Use this URL to cite or link to this record in EThOS:
Title: Composition integrity framework : an integrity monitor for aspect-oriented programs
Author: Camilleri, Andrew
ISNI:       0000 0004 2724 585X
Awarding Body: Lancaster University
Current Institution: Lancaster University
Date of Award: 2010
Availability of Full Text:
Access from EThOS:
Aspect Oriented Programming (AOP) is becoming increasingly accepted as an approach to deal with crosscutting concerns in software development. However, AOP is known to raise software integrity issues. Within AOP, an aspect is allowed to roam the underlying system with little control on which modules end up being composed with each other. Building on the context of integrity research and AOP research, a novel approach to con- trolling aspect-oriented composition in three dimensions is developed. An integrity management framework known as Composition Integrity Framework (CIF) which is also extensible, deals with composition in the dimensions of: • Where the composition occurs. • How the composition is done. • What is being composed. CIF is evaluated from two different angles. First, we set out to show that our framework does indeed deal with compositional integrity. W~ achieve this by enforcing the necessary integrity constraints through CIF, for a number of bugs that have been uncovered for independently developed non-trivial systems, again through CIF. Second, we conduct a quantitative analysis that shows that CIF provides the right abstractions to deal with integrity, also by showing that our framework does not entail an unnecessary heavy burden on the development lifecycle.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available