Skip to Main content Skip to Navigation
Conference papers

Annotation Framework Validation using Domain Models

Carlos Noguera 1, 2 Laurence Duchien 1, 2
2 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download
Contributor : Lionel Seinturier <>
Submitted on : Friday, June 13, 2008 - 10:32:33 AM
Last modification on : Saturday, December 12, 2020 - 6:08:04 PM
Long-term archiving on: : Friday, May 28, 2010 - 10:19:05 PM


Files produced by the author(s)


  • HAL Id : inria-00287856, version 1



Carlos Noguera, Laurence Duchien. Annotation Framework Validation using Domain Models. Model Driven Architecture - Foundations and Applications, Jun 2008, Berlin, Germany. pp.48-62. ⟨inria-00287856⟩



Record views


Files downloads