Toward Translating Design Constraints to Run-Time Assertions

Electronic Notes in Theoretical Computer Science

Volumn 116, Issue SPEC.ISS., 2005, Pages 73-84

  Baresi, Luciano ^a   Young, Michal ^b  

^a Dipto Di Elettron E I   (Italy)

^b UNIVERSITY OF OREGON   (United States)

Author keywords

Design assertions; OCL; Transformation rules; UML

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING; COMPUTER SCIENCE; CONSTRAINT THEORY; SOFTWARE PROTOTYPING;

DESIGN ASSERTIONS; OBJECT CONSTRAINED LANGUAGE (OCL); TRANSFORMATION RULES; UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 15744368332     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.085     Document Type: Conference Paper

References (13)

1. P. Collet, and R. Rousseau Towards efficient support for executing the object constraint language Tools'99 1999
2. A. Hamie, J. Howse, and S. Kent. Interpreting the object constraint language. In Asia Pacific Conference in Software Engineering. IEEE-CS, 1998
3. R. Kramer iContract - The Java Design by Contract Tool Proceedings of TOOLS26: Technology of Object-Oriented Languages and Systems 1998 IEEE-CS Publisher 295 307
4. D. Luckham, F. von Henke, B. Krieg-Brückner, and O. Owe Anna - A Language for Annotating Ada Programs Lecture Notes in Computer Science volume 260 1987 Springer-Verlag
5. P. Maker. GNU Nana - User's Guide (version 2.4). Technical report, School of Information Technology - Northern Territory University, July 1998
6. S. Microsystems. Adl language reference manual, 1993
7. M. Obayashi, H. Kubota, S. McCarron, and L. Mallet The Assertion Based Testing Tool for OOP: ADL2 adl.opengroup.org/exgr/icse/icse98.htm May 1998
8. Object Management Group, 429 Old Connecticut Path, Framingham, MA 01701, USA. OMG Unified Modeling Language Specification, version 1.5 edition, 2002. Available for download from www.omg.org
9. University of Dresden. The OCL toolkit http://dresden-ocl.sourceforge. net/index.html 2002
10. University of Cluj Napoca. The Object Constraint Language Environment http://lci.cs.ubbcluj.ro/ocle/ 2004
11. M. Richters, and M. Gogolla A metamodel for OCL R. France B. Rumpe UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference Proceedings Fort Collins, CO, USA, October 28-30. 1999 LNCS volume 1723 1999 Springer
12. D. Rosenblum A Practical Approach to Programming With Assertions IEEE Transactions on Software Engineering 21 1 Jan. 1995 19 31
13. J. Warmer, and A. Kleppe OCL: The constraint language of the UML Journal of Object-Oriented Programming 12 1 28, Mar. 1999 10 13