Generating assertion code from OCL: A transformational approach based on similarities of implementation languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5795 LNCS, Issue , 2009, Pages 650-664

  Moiseev, Rodion ^a   Hayashi, Shinpei ^a   Saeki, Motoshi ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

Assertion code; Constraints; OCL; Programming languages

Indexed keywords

ABSTRACT LANGUAGES; CODE CONSTRAINTS; CODE GENERATION; IMPLEMENTATION LANGUAGES; MODEL DRIVEN DEVELOPMENT; MODEL TRANSFORMATION; MODEL TRANSFORMATION TECHNIQUE; OBJECT CONSTRAINT LANGUAGE; PLATFORM INDEPENDENCE; PLATFORM INDEPENDENT; PROGRAMMING LANGUAGE; STRUCTURAL SIMILARITY; SYSTEM VERIFICATIONS; TARGET LANGUAGE; TRANSFORMATIONAL APPROACH;

COMPUTER SOFTWARE; LINGUISTICS; MODELS; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES;

HIGH LEVEL LANGUAGES;

EID: 77249162860     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_52     Document Type: Conference Paper

References (18)

1. OMG: Model-Driven Architecture, http://www.omg.org/mda/
2. OMG: Object Constraint Language specification, version 2.0, http://www.omg.org/technology/documents/formal/ocl.htm
3. Kiczales, G., Irwin, J., Lamping, J., Loingtier, J.M., Lopes, C.V., Maeda, C., Mendhekar, A.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220-242. Springer, Heidelberg (1997)
4. The Maude Team: The Maude System, http://maude.cs.uiuc.edu/
5. Akehurst, D.H., Patrascoiu, O.: OCL 2.0 - implementing the standard for multiple metamodels. Electronic Notes in Theoretical Computer Science 102, 21-41 (2004)
6. Chabarek, F.: Development of an OCL-parser for UML-extensions. Master's thesis, Technical University of Berlin (2004)
7. Clavel, M., Egea, M.: ITP/OCL: A rewriting-based validation tool for UML+OCL static class diagrams. In: Proc. 11th International Conference on Algebraic Methodology and Software Technology, pp. 368-373 (2006)
8. Karaorman, M., Hölzle, U., Bruno, J.L.: jContractor: A reflective Java library to support design by contract. In: Cointe, P. (ed.) Reflection 1999. LNCS, vol. 1616, pp. 175-196. Springer, Heidelberg (1999)
9. Duncan, A., Hölzle, U.: Adding contracts to Java with Handshake. Technical Report TRCS98-32, Department of Computer Science, University of California (1998)
10. Dzidek, W.J., Briand, L.C., Labiche, Y.: Lessons learned from developing a dynamic OCL constraint enforcement tool for Java. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 10-19. Springer, Heidelberg (2006)
11. Bartetzko, D., Fischer, C., Möller, M., Wehrheim, H.: Jass - Java with assertions. Electronic Notes in Theoretical Computer Science 55(2), 1-15 (2001)
12. Kramer, R.: iContract - the Java design by contract tool. In: Proc. Technology of Object-Oriented Languages and Systems, pp. 295-307 (1998)
13. Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer 7(3), 212-232 (2005)
14. Cheon, Y., Leavens, G.T.: A runtime assertion checker for the Java Modeling Language (JML). In: Proc. International Conference on Software Engineering Research and Practice, pp. 322-328 (2002)
15. Leavens, G.T., Leino, K.R.M., Poll, E., Ruby, C., Jacobs, B.: JML: notations and tools supporting detailed design in Java. In: Companion Proc. 21st International Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 105-106 (2000)
16. Hamie, A.: Translating the Object Constraint Language into the Java Modelling Language. In: Proc. 2004 ACM Symposium on Applied Computing, pp. 1531-1535 (2004)
17. Moiseev, R., Russo, A.: Implementing an OCL to JML translation tool. IEICE Technical Report 106(426) SS2006-58, 13-17 (2006)
18. Gogolla, M., Kuhlmann, M., Büttner, F.: Benchmark for OCL engine accuracy, determinateness, and efficiency. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 446-459. Springer, Heidelberg (2008)