AVal: an Extensible Attribute-Oriented Programming Validator for Java

Carlos Noguera (1) , Renaud Pawlak (2)

1 JACQUARD - Weaving of Software Components
2 RPI - Rensselaer Polytechnic Institute

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.

Domaines: Génie logiciel [cs.SE]

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