School of Computing

Constraint Diagrams: A Step Beyond UML

J Gil, J Howse, and S Kent

In Proceedings of TOOLS USA'99, pages 182-196. IEEE Computer Society Press, December 1999.

Abstract

The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An exception to this is the Object Constraint Language (OCL) which is essentially a textual, stylised form of first order predicate logic. We describe a notation, constraint diagrams, which were introduced as a visual technique intended to be used in conjunction with the UML for object-oriented modelling. Constraint diagrams provide a diagrammatic notation for expressing constraints (e.g., invariants) that could only be expressed in UML using OCL.

Download publication 79 kbytes (PDF)

Bibtex Record

@inproceedings{985,
author = {J Gil and J Howse and S Kent},
title = {{Constraint Diagrams: A Step Beyond UML}},
month = {December},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/985},
    booktitle = {Proceedings of TOOLS USA'99},
    publication_type = {inproceedings},
    publisher = {IEEE Computer Society Press},
    submission_id = {10248_950005598},
}

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

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

Last Updated: 21/03/2014