Sciweavers

TOOLS
1999
IEEE

Constraint Diagrams: A Step Beyond UML

14 years 3 months ago
Constraint Diagrams: A Step Beyond UML
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. Keywords Modelling, visual formalism, object-oriented software development, formal methods.
Joseph Gil, John Howse, Stuart Kent
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where TOOLS
Authors Joseph Gil, John Howse, Stuart Kent
Comments (0)