Skip to main content

Constraint Diagrams: A Step Beyond UML

Gil, Joseph, Howse, John, Kent, Stuart (1999) Constraint Diagrams: A Step Beyond UML. In: Proceedings of TOOLS USA'99. . IEEE Computer Society Press (doi:10.1109/TOOLS.1999.10066) (KAR id:21740)

PDF
Language: English
Click to download this file (99kB) Preview
[thumbnail of constraint_diagrams_a_step_gil.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:
http://dx.doi.org/10.1109/TOOLS.1999.10066

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.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.1109/TOOLS.1999.10066
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 04 Sep 2009 17:12 UTC
Last Modified: 16 Nov 2021 10:00 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21740 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.