Skip to main content
Article thumbnail
Location of Repository

Two visualizations of OCL: a comparison

By Andrew Fish, John Howse, Gabriele Taentzer and Jessica Winkelmann


We compare two visualizations of OCL, VisualOCL and Constraint Diagrams, and establish some of their benefits and weaknesses. These two notations were designed to fit in to the diagrammatic modelling paradigm. We introduce a simple case study, with constraints written in both natural language and OCL, and visualize these constraints using VisualOCL and Constraint Diagrams. Using a set of criteria which is based on cognitive, syntactic and semantic questions, we compare the notations, with reference to the sample constraints

Topics: G000 Computing and Mathematical Sciences
Publisher: University of Brighton
Year: 2005
OAI identifier:

Suggested articles


  1. (2004). 2.0 specification. Available from,
  2. (2000). A cognitive dimensions questionnaire optimised for users.
  3. (2001). A Visualization of OCL using Collaborations. doi
  4. (2001). Cognitive science approaches to understanding diagrammatic representations. doi
  5. (1997). Constraint diagrams: Visualizing invariants in object oriented modelling. doi
  6. (2004). Diagrams in the mind and in the world: Relations between internal and external visualizations. doi
  7. (2004). Editor plugin for Eclipse.
  8. (2004). Inferential and expressive capacities of graphical representations: Survey and some generalizations. doi
  9. (2004). Investigating reasoning with constraint diagrams. doi
  10. (2003). OCL 2.0 specification, revision 1.6. Available from,
  11. (2005). Precise visual modelling. SoSym, to appear,
  12. (2005). Reasoning with Diagrams. doi
  13. (2005). Specification of VisualOCL: A Visualisation of the Object Constraint Language. Master’s thesis,
  14. (2005). The semantics of augmented constraint diagrams. doi
  15. (2005). Visual Modelling Group.
  16. (2002). Visual OCL: A Visual Notation of the Object Constraint Language.
  17. (1987). Why a diagram is (sometimes) worth ten thousand words. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.