EPSRC logo

Details of Grant 

EPSRC Reference: GR/S70159/01
Title: PROBE: Proof Obligations for Aspect-Oriented Systems (Visiting Fellow)
Principal Investigator: Rashid, Professor A
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computing & Communications
Organisation: Lancaster University
Scheme: Standard Research (Pre-FEC)
Starts: 01 September 2003 Ends: 29 February 2004 Value (£): 28,682
EPSRC Research Topic Classifications:
Software Engineering
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
The visiting fellowship will bring together the experience in UML specification of aspects, aspect validation and model checking at The Technion with expertise in aspect-oriented requirements engineering, aspect-oriented programming and software evolution at Lancaster University. The aim of the project is to use requirements-level and UML design specifications of aspects to generate proof obligations for validation of aspect-oriented implementations. Although aspect-oriented techniques are gaining ground, validation of aspect-oriented systems has received little attention so far. Consequently, the relationship between requirements-level aspects, design-level aspects and implementation aspects is poorly understood and there is no clear framework for validating whether an aspect-oriented implementation meets the initial system requirements and design specifications and whether this compliance to requirements and design holds upon evolution. The work carried out as part of this visiting fellowship will act as a stepping stone towards such a framework providing support for formal validation of aspect-oriented systems using model checking techniques.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.lancs.ac.uk