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