HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Friday, October 19, 2007 - 10:09:54 AM
Last modification on : Friday, February 4, 2022 - 3:11:12 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