© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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}, }