Notes on logic and set theory
Computability and logic
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Operational constraints in diagrammatic reasoning
Logical reasoning with diagrams
Towards the principled design of software engineering diagrams
Proceedings of the 22nd international conference on Software engineering
Aligning syntax and semantics in formalisations of visual languages
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
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
VL '99 Proceedings of the IEEE Symposium on Visual Languages
VENNFS: A Venn-Diagram File Manager
IV '03 Proceedings of the Seventh International Conference on Information Visualization
Movement as an Aid to Understanding Graphs
IV '03 Proceedings of the Seventh International Conference on Information Visualization
Collaborative knowledge capture in ontologies
Proceedings of the 3rd international conference on Knowledge capture
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
The Expressiveness of Spider Diagrams
Journal of Logic and Computation
A Decidable Constraint Diagram Reasoning System
Journal of Logic and Computation
EulerView: a non-hierarchical visualization component
VLHCC '07 Proceedings of the 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
Types and Programs from Euler Diagrams
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
An attention based theory to explore affordances of textual and diagrammatic proofs
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
An experiment to evaluate constraint diagrams with novice users
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
A decision procedure for a decidable fragment of generalized constraint diagrams
Journal of Visual Languages and Computing
Automatically drawing Euler diagrams with circles
Journal of Visual Languages and Computing
Visualizing and specifying ontologies using diagrammatic logics
AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112
| 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 (OCL) in that they can be used for specifying system invariants and operation contracts in the context of a UML model. Unlike the OCL, however, constraint diagrams can be used independently of the UML. In this paper, we illustrate a range of intuitive and counter-intuitive features of constraint diagrams and highlight some (potential) expressiveness limitations. The counter-intuitive features are related to how the individual pieces of syntax interact. A generalized version of the constraint diagram language that overcomes the illustrated counter-intuitive features and limitations is proposed. In order to discourage specification readers and writers from overlooking certain semantic information, the generalized notation allows this information to be expressed more explicitly than in the non-generalized case. The design of the generalized notation takes into account five language design principles which are discussed in the paper. We provide a formalization of the syntax and semantics for generalized constraint diagrams. Moreover, we establish a lower bound on the expressiveness of the generalized notation and show that they are at least as expressive as constraint diagrams.