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.

[1]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[2]  Sun-Joo Shin,et al.  The logical status of diagrams , 1995 .

[3]  Stuart Kent,et al.  Constraint diagrams: visualizing invariants in object-oriented models , 1997, OOPSLA '97.

[4]  G. L..  Collected Papers , 1912, Nature.

[5]  Stuart Kent,et al.  Visualising Action Contracts in OO Modelling , 1998 .

[6]  David Harel,et al.  On visual formalisms , 1988, CACM.

[7]  J. Venn,et al.  . On the diagrammatic and mechanical representation of propositions and reasonings , 2022 .

[8]  Stuart Kent,et al.  Reasoning with spider diagrams , 1999, Proceedings 1999 IEEE Symposium on Visual Languages.

[9]  Stuart Kent,et al.  Three dimensional software modelling , 1998, Proceedings of the 20th International Conference on Software Engineering.

[10]  Stuart Kent,et al.  Formalizing spider diagrams , 1999, Proceedings 1999 IEEE Symposium on Visual Languages.

[11]  Eric Hammer,et al.  Logic and Visual Information , 1995 .

[12]  Stuart Kent,et al.  Precise Visual Specification of Design Patterns , 1998, ECOOP.