Towards verifying Java realizations of OCL-constrained design models using JML

Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002

Volumn , Issue , 2012, Pages 623-628

  Hamie, Ali ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

Java; JML; OCL; Realization relation; Verification

Indexed keywords

SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; VERIFICATION;

INTERFACE SPECIFICATION LANGUAGES; JAVA; JML; OBJECT CONSTRAINT LANGUAGE; OBJECT-ORIENTED DESIGN; OCL; POSTCONDITIONS-OF-OPERATIONS; REALIZATION RELATION;

JAVA PROGRAMMING LANGUAGE;

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

References (14)

1. K. Arnold and J. Gosling, The Java programming Language. The Java Series. Addisson-Wesley, Reading, MA, second edition, 1998.
2. A. Borgida, J. Mylopoulos, and R. Reiter, On the frame problem in procedure specifications. IEEE Transactions on Software Engineering, 21(10):785-798, October, 1995.
3. Y. Cheon and G. Leavens, A Runtime Assertion Checker for the Java Modeling Language (JML). Technical report TR#02-05a, April 2002 revision, Department of Computer Science, Iowa State University.
4. D. D'Souza and A. Wills, Objects, Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, 1998.
5. B. Jones, Systematic Software Development using VDM. Prentice Hall 1990.
6. G. Leavens, A. Baker and C. Ruby, Preliminary Design of JML: A Behavioral Interface Specification Language for Java. TR98-06, revised version 2002.
7. B. Jacobs et al., The LOOP project: Formal methods for object-oriented systems at http://www.cs.kun.nl/~bart/LOOP.
8. Rational Software Corporation. The Object Constraint Language Specification Version 1.4. Available from http://www.rational.com, 2001.
9. Rational Software Corporation. The Unified Modeling Language Version 1.4. Available from http://www.rational.com, 2001.
10. J. Rumbaugh, I. Jacobson and G. Booch, The Unified Modelling Language Reference manual. Addison-Wesley, Reading, Mass., 1998.
11. J. Spivey, The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall, New York, N. Y., second edition, 1992.
12. J. Warmer and A. Kleppe, The Object Constraint Language: Precise Modelling with UML. Addison-Wesley, 1999.
13. E. Poll and B. Jacobs, A Logic for the Java Modelling Language JML. Computing Science Institute Nijmegen, Technical Report CSI-R0018. University of Nijmegen, 2001.
14. The PVS Specification and Verification System at http://pvs.csl.sri.com/.