| 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: |
|
| 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 |