Translating the object constraint language into the Java modelling language

Hamie, A. (2004) Translating the object constraint language into the Java modelling language In: Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia, Cyprus, 2004. ACM Press, New York, USA, pp. 1531-1535. ISBN 1581138121

[img] Text
SAC2004.pdf
Restricted to Registered users only

Download (58kB)

Abstract

The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints include class invariants and preconditions and postconditions of operations. The Java Modelling Language (JML) is a behavioural interface specification language designed for specifying Java classes and interfaces. This paper defines a translation of OCL expressions and constraints into the Java Modelling Language. The objective of this translation is to be able to map UML object-oriented designs with OCL constraints to Java classes and interfaces annotated with JML specifications, and to carry out logical reasoning about such classes and interfaces using JML tools which include a run time assertion checker and an interactive prover based on PVS.

Item Type: Chapter in book
Uncontrolled Keywords: JML, OCL, UML, constraints, reasoning
Subjects: G000 Computing and Mathematical Sciences
DOI (a stable link to the resource): 10.1145/967900.968206
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Helen Webb
Date Deposited: 25 Nov 2007
Last Modified: 21 May 2014 11:01
URI: http://eprints.brighton.ac.uk/id/eprint/2869

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year