AnnaBot : A Static Verifier for Java Annotation Usage
Author
Source
Advances in Software Engineering
Issue
Vol. 2010, Issue 2010 (31 Dec. 2010), pp.1-7, 7 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2009-12-20
Country of Publication
Egypt
No. of Pages
7
Main Subjects
Abstract EN
This paper describes AnnaBot, one of the first tools to verify correct use of Annotation-based metadata in the Java programming language.
These Annotations are a standard Java 5 mechanism used to attach metadata to types, methods, or fields without using an external configuration file.
A binary representation of the Annotation becomes part of the compiled “.class” file, for inspection by another component or library at runtime.
Java Annotations were introduced into the Java language in 2004 and have become widely used in recent years due to their introduction in the Java Enterprise Edition 5, the Hibernate object-relational mapping API, the Spring Framework, and elsewhere.
Despite that, mainstream development tools have not yet produced a widely-used verification tool to confirm correct configuration and placement of annotations external to the particular runtime component.
While most of the examples in this paper use the Java Persistence API, AnnaBot is capable of verifying anyannotation-based API for which “claims”—description of annotation usage—are available.
These claims can be written in Java or using a proposed Domain-Specific Language, which has been designed and a parser (but not the code generator) have been written.
American Psychological Association (APA)
Darwin, Ian. 2009. AnnaBot : A Static Verifier for Java Annotation Usage. Advances in Software Engineering،Vol. 2010, no. 2010, pp.1-7.
https://search.emarefa.net/detail/BIM-479902
Modern Language Association (MLA)
Darwin, Ian. AnnaBot : A Static Verifier for Java Annotation Usage. Advances in Software Engineering No. 2010 (2010), pp.1-7.
https://search.emarefa.net/detail/BIM-479902
American Medical Association (AMA)
Darwin, Ian. AnnaBot : A Static Verifier for Java Annotation Usage. Advances in Software Engineering. 2009. Vol. 2010, no. 2010, pp.1-7.
https://search.emarefa.net/detail/BIM-479902
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-479902