School of Computing

Interpreting the Object Constraint Language

A. Hamie, J. Howse, and S. Kent

In Proceedings of Asia Pacific Conference in Software Engineering, pages 182-196. IEEE Press, July 1998.

Abstract

The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is a precise, textual language for expressing constraints that cannot be shown in the standard diagrammatic notation used in UML. A semantics for OCL lays the foundation for building CASE tools that support integrity checking of the whole UML models, not just the component expressed using OCL. This paper provides a semantics for OCL, at the same time providing a semantics for classes, associations, attributes and states.

Download publication 64 kbytes (PDF)

Bibtex Record

@inproceedings{784,
author = {A. Hamie and J. Howse and S. Kent},
title = {{Interpreting the Object Constraint Language}},
month = {July},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/784},
    booktitle = {Proceedings of Asia Pacific Conference in Software Engineering},
    publisher = {IEEE Press},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014