RIVAR

Rich Interfaces for Verifiable Aspect Reuse

Coordinatore	LANCASTER UNIVERSITY    more  Organization address address: BAILRIGG city: LANCASTER postcode: LA1 4YW contact info Titolo: Prof. Nome: Awais Cognome: Rashid Email: send email Telefono: +44 0 1524510316 Fax: +44 0 1524510492
Nazionalità Coordinatore	United Kingdom [UK]
Totale costo	172˙618 €
EC contributo	172˙618 €
Programma	FP7-PEOPLE Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
Code Call	FP7-PEOPLE-IEF-2008
Funding Scheme	MC-IEF
Anno di inizio	2009
Periodo (anno-mese-giorno)	2009-10-01   -   2010-10-31

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	LANCASTER UNIVERSITY  Organization address address: BAILRIGG city: LANCASTER postcode: LA1 4YW contact info Titolo: Prof. Nome: Awais Cognome: Rashid Email: send email Telefono: +44 0 1524510316 Fax: +44 0 1524510492	UK (LANCASTER)	coordinator	172˙618.80

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (Objective)

'Aspect-Oriented Programming (AOP) has been recognised as an important contribution to the research on modularisation techniques for software development, especially of large and complex systems. However, to date once written aspects cannot be reused safely in new contexts and applications. The proposed project aims to study techniques for extending aspect specification so that they can be safely and verifiably reused across application borders. In particular, current aspect specifications define an aspect's interface (using so-called pointcut definitions) only based on syntactic information about the structure of a base program. To enable verifiably safe aspect reuse, these interface specifications need to be extended to provide semantically rich means of expressing aspect developers’ assumptions about the context in which an aspect is to be used and the guarantees that the aspect will make to the program into which it is woven. The proposed project first uses empirical and ethnographic techniques for building a taxonomy of assumptions and guarantees aspect developers typically make. Based on this taxonomy, extensions to common AOP languages are developed and integrated into existing aspect tooling from AOSD Europe. Where possible, also automatic or semi-automatic verification techniques for such aspect specifications will be studied.'