Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards the principled design of software engineering diagrams
Proceedings of the 22nd international conference on Software engineering
Towards a Formalization of Constraint Diagrams
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
VPLs and Novice Program Comprehension: How do Different Languages Compare?
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Movement as an Aid to Understanding Graphs
IV '03 Proceedings of the Seventh International Conference on Information Visualization
An Experimental Study into the Default Reading of Constraint Diagrams
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL
Electronic Notes in Theoretical Computer Science (ENTCS)
Investigating Reasoning with Constraint Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
Visual Mathematics: Diagrammatic Formalization and Proof
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A decision procedure for a decidable fragment of generalized constraint diagrams
Journal of Visual Languages and Computing
Hi-index | 0.00 |
The constraint diagram language was designed to be used in conjunction with the Unified Modelling Language (UML), primarily for placing formal constraints on software models. In particular, constraint diagrams play a similar role to the textual Object Constraint Language in that they can be used for specifying system invariants and operation contracts in the context of a UML model. Constraint diagrams can also be used independently of the UML. In this paper, we illustrate a range of counter-intuitive features of constraint diagrams and highlight some (potential) expressiveness limitations. We propose a generalized version of the constraint diagram language that overcomes the illustrated counter-intuitive features and limitations.