noguera-scam-06

Summary

AVal: an Extensible Attribute-Oriented Programming Validator for Java. Carlos Noguera and Renaud Pawlak. In Proceedings of the 6th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06), Philadelphia, PA, USA, September 2006.

Abstract

Attribute Oriented Programming (@OP) permits programmers to extend the semantics of a base program by annotating it with attributes that are related to a set of concerns. Examples of this are applications that rely on XDoclet (such as Hibernate) or, with the release of Java5�s annotations, EJB3. The set of attributes that implements a concern defines a Domain Specific Language, and as such, imposes syntactic and semantic rules on the way that attributes are included in the program or even on the program itself. We propose a framework for the definition and checking of these rules for @OP that uses Java5 annotations. We define an extensible set of meta-annotations to allow the validation of @OP programs, as well as the means to extend them using a compile-time model of the program�s source code. We show the usefulness of the approach by presenting two examples of its use: an @OP extension for the Fractal component model called Fraclet, and the JSR 181 for web services definition.

Bibtex entry

@INPROCEEDINGS { noguera-scam-06,
    TITLE = { AVal: an Extensible Attribute-Oriented Programming Validator for Java },
    AUTHOR = { Carlos Noguera and Renaud Pawlak },
    PUBLISHER = { IEEE Computer Society },
    YEAR = { 2006 },
    MONTH = { sep },
    BOOKTITLE = { Proceedings of the 6th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06) },
    ADDRESS = { Philadelphia, PA, USA },
    GROUPS = { international,jacquard,mosaiques,workshop },
    LONGNOTES = { 20060927 },
    WEBSITE = { www.dcs.kcl.ac.uk/staff/mark/scam2006/ },
    ABSTRACT = { Attribute Oriented Programming (@OP) permits programmers to extend the semantics of a base program by annotating it with attributes that are related to a set of concerns. Examples of this are applications that rely on XDoclet (such as Hibernate) or, with the release of Java5�s annotations, EJB3. The set of attributes that implements a concern defines a Domain Specific Language, and as such, imposes syntactic and semantic rules on the way that attributes are included in the program or even on the program itself. We propose a framework for the definition and checking of these rules for @OP that uses Java5 annotations. We define an extensible set of meta-annotations to allow the validation of @OP programs, as well as the means to extend them using a compile-time model of the program�s source code. We show the usefulness of the approach by presenting two examples of its use: an @OP extension for the Fractal component model called Fraclet, and the JSR 181 for web services definition. },
    LASTNAME = { Noguera },
    DATEADDED = { 2007-03-26 },
    LASTDATEMODIFIED = { 2007-03-26 },
    AERES = { ACT },
    INRIA = { JACQUARD },
    LABO = { dans },
}