Gil, J. and Howse, J. and Kent, S. (1999) Constraint Diagrams: A Step Beyond UML. In: Technology of Object-Oriented Languages and Systems (TOOLS USA'99), August 01-05, 1999, Santa Barbara, California , USA.
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)|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group|
|Depositing User:||Mark Wheadon|
|Date Deposited:||04 Sep 2009 17:12|
|Last Modified:||06 Sep 2011 04:03|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21740 (The current URI for this page, for reference purposes)|
- Depositors only (login required):