School of Computing

Mixing Visual and Textual Constraint Languages

S Kent and J Howse

In Proceedings of UML'99, pages 182-196. IEEE Computer Society Press, October 1999.

Abstract

The Object Constraint Language (OCL) is a precise language for notating behavioural constraints on UML models. Constraint diagrams have been proposed as a means of notating similar constraints, but in a visual form. This paper explores the utility of these two notations for depicting constraints, and shows how they can be used effectively together. The goal of this work is to provide more intuitive and expressive languages to support the construction and presentation of rich and precise models.

Download publication 109 kbytes (PDF)

Bibtex Record

@inproceedings{983,
author = {S Kent and J Howse},
title = {{Mixing Visual and Textual Constraint Languages}},
month = {October},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/983},
    booktitle = {Proceedings of UML'99},
    publication_type = {inproceedings},
    publisher = {IEEE Computer Society Press},
    submission_id = {10020_950004433},
}

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

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

Last Updated: 21/03/2014