The semantics of augmented constraint diagrams

  title={The semantics of augmented constraint diagrams},
  author={Andrew Fish and Jean Flower and John Howse},
  journal={J. Vis. Lang. Comput.},
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They generalize Venn diagrams and Euler circles, and include syntax for quantification and navigation of relations. The notation was designed to complement the Unified Modelling Language in the development of software systems. Since symbols representing quantification in a diagrammatic language can be naturally ordered in multiple ways, some constraint diagrams have more than one intuitive meaning… CONTINUE READING
Highly Cited
This paper has 98 citations. REVIEW CITATIONS
64 Citations
22 References
Similar Papers


Publications citing this paper.

99 Citations

Citations per Year
Semantic Scholar estimates that this publication has 99 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 22 references

A visualisation of OCL using collaborations

  • P. Bottoni, M. Koch, F. Parisi-Preesicce, G. Taentzer
  • in: Proceedings of UML 01, Lecture Notes in…
  • 2005
1 Excerpt

Flower , Investigating reasoning with constraint diagrams

  • J. A. Fish
  • Proceedings of Visual Languages and Formal…
  • 2005

Precise Visual Modelling

  • J. Howse, S. Schumann
  • Journal of Software Systems & Modelling, 4(3)
  • 2005
1 Excerpt

Similar Papers

Loading similar papers…