Translating the object constraint language into the java modelling language

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2004, Pages 1531-1535

  Hamie, Ali ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

Constraints; JML; OCL; Reasoning; UML

Indexed keywords

BOOLEAN ALGEBRA; CODES (SYMBOLS); COMPUTATIONAL METHODS; MATHEMATICAL OPERATORS; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS; USER INTERFACES;

CONSTRAINTS; JAVA MODELING LANGUAGE (JML); OBJECT CONSTRAINED LANGUAGES (OCL); REASONING; UNIFIED MODELING LANGUAGE (UML);

JAVA PROGRAMMING LANGUAGE;

EID: 2442566906     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/967900.968206     Document Type: Conference Paper

References (14)

1. Arnold, K. and Gosling, J., The Java programming Language. The Java Series. Addisson-Wesley, Reading, MA, second edition, 1998.
2. Borgida, A., Mylopoulos, J., and Reiter, R., On the frame problem in procedure specifications. IEEE Transactions on Software Engineering, 21(10): 785-798, October, 1995.
3. Cheon, Y. and Leavens, G., A Runtime Assertion Checker for the Java Modeling Language (JML). In Software Engineering Research and Practice (SERP'02), pages 322-328. CSREA Press, June 2002.
4. Guttag, J., Horning, J., Garland, S., Jones, K., Model, A., and Wing, J.. Larch: Languages and Tools for Formal Specification. Springer Verlag, New York, 1993.
5. Jones B. C. Systematic Software Development using VDM. Prentice Hall 1990.
6. Leavens G., Baker A., and Ruby C., JML: A notation for detailed design. In Haim Kilov, Bernhard Rumpe, and Ian Simmonds, editors, Behavioral Specifications of Businesses and Systems, pages 175-188. Kluwer Academic Publishers, Boston, 1999.
7. Leavens G., Baker A., and Ruby C., Preliminary Design of JML: A Behavioral Interface Specification Language for Java. TR98-06, revised version 2003.
8. Leavens G., Rustan K., Leino M., Poll E., Ruby C., and Jacobs B., JML: notations and tools supporting detailed design in Java. In OOPSLA 2000 Companion, Minneapolis, Minnesota, pages 105-106. ACM, October 2000.
9. Meyer, B., Eiffel: The Language. Object-oriented Series. Prentice Hall, New york, N. Y., 1992.
10. Rational Software Corporation. The Object Constraint Language Specification Version 2.0. Available at http://www.rational.com, 2003.
11. Rational Software Corporation. The Unified Modeling Language UML Version 2.0. Available at http://www.rational.com, 2003.
12. Rumbaugh J., Jacobson I., and Booch G., The Unified Modelling Language Reference manual. Addison-Wesley, Reading, Mass., 1998.
13. Spivey, The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall, New York, N. Y., second edition, 1992.
14. Warmer, J., and Kleppe, A., The Object Constraint Language: Precise Modelling with UML. Addison-Wesley, 1999.