Runtime constraint checking approaches for OCL, a critical comparison

SEKE 2010 - Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering

Volumn , Issue , 2010, Pages 393-398

  Avila, Carmen ^a   Sarcar, Amritam ^b   Cheon, Yoonsik ^a   Yeep, Cesar ^a  

^a University of Texas at El Paso   (United States)

^b MICROSOFT   (United States)

Author keywords

AspectJ; JML; OCL; Pre and postconditions; Runtime constraint checking

Indexed keywords

ASPECT-J; JML; OCL; PRE AND POSTCONDITIONS; RUNTIMES;

COMPUTER SYSTEMS PROGRAMMING; KNOWLEDGE ENGINEERING; MAINTAINABILITY; OBJECT ORIENTED PROGRAMMING; PROGRAM TRANSLATORS; SOFTWARE ENGINEERING;

ASPECT ORIENTED PROGRAMMING;

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

References (22)

1. A. W. Brown, "Model driven architecture: Principles and practice, " Software and System Modeling, vol. 3, no. 4, pp. 314-327, Dec. 2004.
2. J. Warmer and A. Kleppe, The Object Constraint Language: Getting Your Models Ready for MDA, 2nd ed. Addison-Wesley, 2003.
3. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 2nd ed. Addison-Wesley, 2004.
4. D. E. Perry and A. L. Wolf, "Foundations for the study of software architecture, " ACM SIGSOFT Software Engineering Notes, vol. 17, no. 4, pp. 40-52, 1992.
5. M. Fowler, Refactoring: Improving the Design of Existing Code. Addison-Wesley, Aug. 1999.
6. Y. Cheon and C. Avila, "Automating Java program testing using OCL and Aspect!, " in ITNG 2010: 7th International Conference on Information Technology: New Generations, April 12-14, 2010, Las Vegas, NV. IEEE Computer Society, 2010, pp. 1020-1025.
7. H. Hussmann, B. Demuth, and F. Finger, "Modulr architecture for a toolset supporting OCL, " in UML 2000 - The Unified Modeling Language, Advancing the Standard, York, UK, October 2000, ser. LNCS, A. Evans, S. Kent, and B. Selic, Eds. Springer-Verlag, 2000, vol. 1939, pp. 278-293.
8. C. Avila, G. Flores, and Y. Cheon, "A library-based approach to translating OCL constraints to JML assertions for runtime checking, " in International Conference on Software Engineering Research and Practice, July 14-17, 2008, Las Vegas, Nevada, 2008, pp. 403-408.
9. A. Hamie, "Translating the Object Constraint Language into the Java Modeling Language, " in Proceedings of the ACM Symposium on Applied Computing, Nicosia, Cyprus, March 14 -17, 2004, 2004, pp. 1531-1535.
10. L. C. Briand, W. J. Dzidek, and Y. Labiche, "Instrumenting contracts with aspect-oriented programming to increase observability and support debugging, " in Proceedings of the 21st IEEE International Conference on Software Maintenance, Budapest, Hungary, September 25-30, 2005, Sep. 2005, pp. 687-690. (Pubitemid 43790992)
11. Y. Cheon, C. Avila, S. Roach, and C. Munoz, "Checking design constraints at run-time using OCL and AspectJ, " International Journal of Software Engineering, vol. 2, no. 3, pp. 5-28, Dec. 2009.
12. D. S. Frankel, Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley, Jan. 2003.
13. L. Froihofer, G. Glos, J. Osrael, and K. M. Goeschka, "Overview and evaluation of constraint validation approaches in Java, " in ICSE'07: Proceedings of the 29th International Conference on Software Engineering. IEEE Computer Society, 2007, pp. 313-322. (Pubitemid 47430666)
14. G. T. Leavens, A. L. Baker, and C. Ruby, "Preliminary design of JML: A behavioral interface specification language for Java, " ACM SIGSOFT Soft. Eng. Notes, vol. 31, no. 3, pp. 1-38, Mar. 2006.
15. B. Meyer, "Applying "design by contract", " Computer, vol. 25, no. 10, pp. 40-51, Oct. 1992.
16. L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. 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, vol. 7, no. 3, pp. 212-232, Jun. 2005. (Pubitemid 41349063)
17. W. J. Dzidek, L. C. Briand, and Y. Labiche, "Lessons learned from developing a dynamic OCL constraint enforcement tool for Java, " in ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica, October 2-7, 2005, ser. LNCS. Springer-Verlag, 2006, vol. 3844, pp. 10-19. (Pubitemid 43971456)
18. Y. Cheon, G. T. Leavens, M. Sitaraman, and S. Edwards, "Model variables: Cleanly supporting abstraction in design by contract, " Software-Practice & Experience, vol. 35, no. 6, pp. 583-599, May 2005. (Pubitemid 40666712)
19. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold, "An overview of AspectJ, " in ECOOP 2001 - Object-Oriented Programming 15th European Conference, Budapest Hungary, ser. LNCS, J. L. Knudsen, Ed. Berlin: Springer-Verlag, Jun. 2001, vol. 2072, pp. 327-353. (Pubitemid 33291302)
20. OMG, UML 2.0 OCL Specification. Object Management Group, Oct. 2003, available from http://www.omg.org/docs/ptc/03-10-14.pdf (retrieved on Feb. 23, 2010).
21. B. Demuth and C. Wilke, "Model and object verification by using Dresden OCL, " in Proceedings of the Russian-German Workshop Innovation Informa-tion Technologies: Theory and Practice, July 25-31, Ufa, Russia, 2009, 2009, pp. 687-690.
22. A. Sarcar and Y. Cheon, "A new Eclipse-based JML compiler built using AST merging, " Department of Computer Science, The University of Texas at El Paso, Tech. Rep. 10-08, Mar. 2010.