Annotation Framework Validation Using Domain Models

Authors:
Carlos Noguera;Laurence Duchien
Affiliations:
INRIA Lille Nord-Europe - LIFL, Université des Sciences et Technologies de Lille, Villeneuve d'Ascq, France 59655;INRIA Lille Nord-Europe - LIFL, Université des Sciences et Technologies de Lille, Villeneuve d'Ascq, France 59655
Venue:
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Year:
2008

Citing 8
Cited 1

LCLint: a tool for using specifications to check code

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Improving Security Using Extensible Lightweight Static Analysis

IEEE Software
Attribute extension - a technique for enforcing programming conventions

Nordic Journal of Computing
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems

Software—Practice & Experience
AVal: an extensible attribute-oriented programming validator for Java: Research Articles

Journal of Software Maintenance and Evolution: Research and Practice - Source Code Analysis and Manipulation (SCAM 2006)
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
Modeling turnpike frontend system: a model-driven development framework leveraging UML metamodeling and attribute-oriented programming

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Metadata invariants: checking and inferring metadata coding conventions

Proceedings of the 34th International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validation of constraints in the use of annotations requires further support. In this paper we postulate that annotation frameworks are a projection of the domain model into a programming language model. Using this idea, we have developed a tool that allows the annotation programmer to specify, and then validate the constraints of the annotation framework regarding a given annotated application using a domain model. To validate our approach to the validation of constraints using models, we apply it to the Fraclet annotation framework and compare it to the previous implementation.