Paper Info
Title
Implementing Java modeling language contracts with AspectJ
Abstract
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java applications. However, instrumented object program generated by the JML compiler use the Java reflection mechanism and data structures not supported by Java ME applications. To deal with this limitation, we propose the use of AspectJ to implement a new JML compiler, which generates an instrumented bytecode compliant with both Java SE and Java ME applications. The paper includes a comparative study to demonstrate the quality of the final code generated by our compiler. The size of the code is compared against the code generated by an existent JML compiler. Moreover, we evaluate the amount of additional code required to implement the JML assertions in Java applications. Results indicate that the overhead in code size produced by our compiler is very small, which is essential for Java ME applications.
Year
DOI
Venue
2008
10.1145/1363686.1363745
SAC
Keywords
Field
DocType
implementing java modeling language,final code,jml assertion,java application,java reflection mechanism,java se,java me application,code size,java modeling language,existent jml compiler,additional code,code generation,design by contract,data structure,aspect oriented programming,comparative study,specification language
Programming language,Computer science,Java annotation,Java concurrency,Real time Java,Generics in Java,strictfp,Java applet,Java Modeling Language,Java
Conference
Citations 
PageRank 
References 
15
0.68
9
Authors
5
Name
Order
Citations
PageRank
Henrique Rebêlo115510.35
Sérgio Soares2150.68
Ricardo Lima3516.91
Leopoldo Ferreira4150.68
Márcio Cornélio51239.43