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
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 metadata

Cited literature [15 references]  Display  Hide  Download

Contributor : Lionel Seinturier Connect in order to contact the contributor
Submitted on : Friday, June 13, 2008 - 10:32:33 AM
Last modification on : Friday, February 4, 2022 - 3:18:40 AM
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