AnnaBot : A Static Verifier for Java Annotation Usage

المؤلف

Darwin, Ian

المصدر

Advances in Software Engineering

العدد

المجلد 2010، العدد 2010 (31 ديسمبر/كانون الأول 2010)، ص ص. 1-7، 7ص.

الناشر

Hindawi Publishing Corporation

تاريخ النشر

2009-12-20

دولة النشر

مصر

عدد الصفحات

7

التخصصات الرئيسية

الرياضيات

الملخص 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.

نمط استشهاد جمعية علماء النفس الأمريكية (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

نمط استشهاد الجمعية الأمريكية للغات الحديثة (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

نمط استشهاد الجمعية الطبية الأمريكية (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

نوع البيانات

مقالات

لغة النص

الإنجليزية

الملاحظات

Includes bibliographical references

رقم السجل

BIM-479902