A library-based approach to translating OCL constraints to JML assertions for runtime checking

Proceedings of the 2008 International Conference on Software Engineering Research and Practice, SERP 2008

Volumn , Issue , 2008, Pages 403-408

  Avila, Carmen ^a   Flores, Guillermo ^a   Cheon, Yoonsik ^a  

^a 500 W University Avenue   (United States)

Author keywords

Assertion; Class invariant; JML; Object oriented class library; OCL; Pre and postconditions; Runtime assertion checking

Indexed keywords

ASSERTION; CLASS INVARIANT; JML; OBJECT-ORIENTED CLASS LIBRARY; OCL; PRE AND POSTCONDITIONS; RUNTIME ASSERTION CHECKING;

COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; FORMAL LOGIC;

ENGINEERING RESEARCH;

EID: 62749200489     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. D. Arnold, "C#/OCL Compiler Website," available from at http://www.ewebsimplex.net/csocl, February 23, 2007.
2. G. Bracha, "Generics in the Java Programming Language", February 2004, last retrieved on May 14, 2008 from http://java.sun.eom/j2se/1.5/ pdf/generics-tutorial.pdf.
3. L. Burdy, Y. Cheon, D. Cok, M. D. Ernst, J. R. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll, "An overview of JML tools and applications," International Journal on Software Tools for Technology Transfer, 7(3):212-232, June 2005.
4. Y. Cheon and G. T. Leavens, "A runtime assertion checker for the Java Modeling Language (JML)," in Proceedings of International Conference on Software Engineering Research and Practice, pp. 322-328, Las Vegas, Nevada, June 2002.
5. Y. Cheon, G. T. Leavens, M. Sitaraman, and S. Edwards, "Model variables: Cleanly supporting abstraction in design by contract," Software-Practice & Experience, 35(6):583- 599, May 2005.
6. D. Flanagan, "The Open Road: Looking Ahead to Java 7", August 2007, http://todayjava.net/pub/a/today/2007/08/09/ looking-ahead-to-java- 7.html, retrieved on May 14, 2008.
7. A. Hamie, "Translating the Object Constraint Language into the Java Modeling Language," in Proceedings of the ACM Symposium on Applied Computing, pages 1531-1535, 2004.
8. C.A.R. Hoare, "An axiomatic basis of computer programming," Communications of ACM, 12(10):576-580, October 1969.
9. G. T. Leavens, A. L. Baker, and C. Ruby, "Preliminary design of JML: A behavioral interface specification language for Java," ACM SIGSOFT Software Engineering Notes, 31(3):1-38, March 2006.
10. K. R. M. Leino, "Data groups: specifying the modification of extended state," OOPLA '98 Conference Proceedings, SIGPLANNotices, 33(10):144-153, October, 1998.
11. B. Meyer, "Applying design by contract," Computer, 25(10):40-51, October 1992.
12. D. S. Rosenblum, "A practical approach to programming with assertions," IEEE Transactions on Software Engineering, 21(1):19-31, January 1995.
13. J. Warmer and A. Kleppe, "The Object Constraint Language: Getting Your Models Ready for MDA," 2nd edition, Addison-Wesley, 2003.
14. J. Warmer and A. Kleppe, "Octopus Website: OCL Tool for Precise UML Specifications," http://www.klasse.nl/octopus, last retrieved on February 23, 2007.