Skip to Main content Skip to Navigation
Journal articles

AVal: an Extensible Attribute-Oriented Programming Validator for Java

Carlos Noguera 1 Renaud Pawlak 2
1 JACQUARD - Weaving of Software Components
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : Attribute Oriented Programming (@OP) permits programmers to extend the semantics of a base program by annotating it with attributes defined in an attribute domain-specific language (AttDSL). In this article, we propose AVal: a Java5 framework for the definition and checking of rules for @OP in Java. We define a set of meta-annotations to allow the validation of @OP programs, as well as the means to extend these meta-annotations by using a compile-time model of the program's source code. AVal is fully integrated into the Eclipse IDE. We show the usefulness of the approach by using examples of its use applied to three AttDSLs: an @OP framework that helps programming SAX parsers, an @OP extension for the Fractal component model called Fraclet, and the JSR 181 for web services definition.
Document type :
Journal articles
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Lionel Seinturier <>
Submitted on : Friday, October 19, 2007 - 10:09:54 AM
Last modification on : Thursday, February 21, 2019 - 10:52:44 AM
Long-term archiving on: : Monday, September 24, 2012 - 2:10:09 PM


Files produced by the author(s)




Carlos Noguera, Renaud Pawlak. AVal: an Extensible Attribute-Oriented Programming Validator for Java. Journal of Software Maintenance and Evolution, Wiley, 2007, pp.253-275. ⟨10.1002/smr.349⟩. ⟨inria-00180333⟩



Record views


Files downloads