LCLint: a tool for using specifications to check code
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Obvious or not?: regulating architectural decisions using aspect-oriented programming
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
The Book of SAX
Attribute extension - a technique for enforcing programming conventions
Nordic Journal of Computing
Scaffolding for Software Renovation
CSMR '00 Proceedings of the Conference on Software Maintenance and Reengineering
The Fastest Fourier Transform in the West
The Fastest Fourier Transform in the West
XDoclet in Action (In Action series)
XDoclet in Action (In Action series)
Proceedings of the 3rd international conference on Aspect-oriented software development
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Software—Practice & Experience
Using annotations to check structural properties of classes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Annotation Framework Validation Using Domain Models
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
A Java and OWL based approach for system interoperability
Proceedings of the 15th WSEAS international conference on Computers
| Hi-index | 0.00 |
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 Simple API for XML parsers, an @OP extension for the Fractal component model called Fraclet, and the JSR 181 for web services definition. Copyright © 2007 John Wiley & Sons, Ltd.