AVal: An extensible attribute-oriented programming validator for Java

Journal of Software Maintenance and Evolution

Volumn 19, Issue 4, 2007, Pages 253-275

  Noguera, Carlos ^a   Pawlak, Renaud ^b  

^a INRIA   (France)

^b RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

Annotations; Attributes; Program checking; Validation

Indexed keywords

CODES (SYMBOLS); JAVA PROGRAMMING LANGUAGE; MODEL CHECKING; PROGRAM COMPILERS; SEMANTICS; XML;

BASE PROGRAMS; META ANNOTATIONS; PROGRAM CHECKING; SOURCE CODES;

OBJECT ORIENTED PROGRAMMING;

EID: 35548979996     PISSN: 1532060X     EISSN: 15320618     Source Type: Journal    
DOI: 10.1002/smr.349     Document Type: Conference Paper

References (25)

1. Wada H, Suzuki J. Modeling turnpike frontend system: A model-driven development framework leveraging UML metamodeling and attribute-oriented programming. MoDELS (Lecture Notes in Computer Science, vol. 3713), Briand L, Williams C (eds.). Montego Bay: Jamaica, 2005; 584-600.
2. Kort J. Lämmel R. Parse-tree annotations meet re-engineering concerns. SCAM. IEEE Computer Society: Silver Spring, MD, 2003; 161.
3. Sellink MPA, Verhoef C. Scaffolding for software renovation. Proceedings Conference on Software Maintenance and Reengineering, 29 February-3 March, 2000. IEEE Computer Society, 2000; 161-172.
4. Michel LD, Keith M. Enterprise JavaBeans, Version 3.0, JSR-220, Sun Microsystems, May 2006.
5. Means WS, Bodie MA. The Book of SAX: The Simple API for XML. No StarchPress: San Francisco CA, 2002.
6. Pawlak R, Noguera C, Petitprez N. Spoon: Program analysis and transformation in java. Technical Report 5901, INRIA, May 2006.
7. Gosling J, Joy B, Steele G, Bracha G. The Java Language Specification (3rd edn). Addison-Wesley: Reading MA, 2005.
8. Zotter B. Web Services Metadata for the Java Platform, Version 1.0, JSR-181, BEA Systems, June 2005.
9. Chinnici R. Java API for XML-based Remote Procedure Call (JAX-RPC) Specification, JSR-101, Sun Microsystems, October 2003.
10. Bruneton E, Coupaye T, Leclercq M, Quéma V, Stefani JB. The fractal component model and its support in java: Experiences with auto-adaptive and reconfigurable systems. Software Practice & Experience 2006; 36(11-12): 1257-1284.
11. Rouvoy R, Pessemier N, Pawlak R, Merle P. Using attribute-oriented programming to leverage fractal-based developments. Proceedings 5th International ECOOP Workshop on Fractal Component Model (Fractal'06), July 2006.
12. Walls C, Richards N, Oberg R. XDoclet in Action. Manning Publications: Greenwich CT, 2004.
13. Cepa V, Mezini M. Declaring and enforcing dependencies between .NET custom attributes. GPCE (Lecture Notes in Computer Science, vol. 3286), Karsai G, Visser E (eds.). Springer: Berlin, 2004; 283-297.
14. Eichberg M, Schäfer T, Mezini M. Using annotations to check structural properties of classes. Fundamental Approaches to Software Engineering, 8th International Conference (Lecture Notes in Computer Science, vol. 3442), Cerioli M (ed.). Springer: Berlin, 2005; 237-252.
15. Veldhuizen TL, Gannon D. Active libraries: Rethinking the roles of compilers and libraries. Proceedings SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing (00'98). SIAM: Philadelphia, PA, 1998.
16. Veldhuizen TL. Arrays in Blitz++. Proceedings 2nd International Scientific Computing in Object-Oriented Parallel Environments (ISCOPE'98). Springer: Berlin, Heidelberg, New York, Tokyo, 1998.
17. Frigo M, Johnson SG. FFTW: The fastest Fourier transform in the west. Technical Report MIT-LCS-TR-728, MIT LCS, 1997.
18. Guyer SZ, Lin C. Broadway: A compiler for exploring the domain-specific semantics of software libraries. Proceedings IEEE Conference, 2004.
19. Stroustrup B. A rationale for semantically enhanced library languages. Library-Centric Software Design LCSD'05, October 2005.
20. Johnson S. Lint, a C Program Checker, 1978.
21. Evans D, Guttag J, Horning J, Tan YM. LCLint: A tool for using specifications to check code. Proceedings ACM SIGSOFT '94 Symposium on the Foundations of Software Engineering, 1994; 87-96.
22. Evans D, Larochelle D. Improving security using extensible lightweight static analysis. IEEE Software 2002; 19(1):42-51.
23. Hedin G. Attribute extensions - a technique for enforcing programming conventions. Nordion Journal of Computation 1997; 4(1):93-122.
24. Shomrat M, Yehudai A. Obvious or not?: Regulating architectural decisions using aspect-oriented programming. AOSD '02: Proceedings 1st International Conference on Aspect-oriented Software Development. ACM Press: New York NY, 2002; 3-9.
25. Hilsdale E, Hugunin J. Advice weaving in AspectJ. AOSD '04: Proceedings 3rd International Conference on Aspect-oriented Software Development. ACM Press: New York NY, 2004; 26-35.