Towards a Formalization of Constraint Diagrams

Authors:
Joseph (Yossi) Gil;John Howse;Stuart Kent
Affiliations:
-;-;-
Venue:
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Year:
2001

Citing 0
Cited 15

Generating Euler Diagrams

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
On Diagram Tokens and Types

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Corresponding Regions in Euler Diagrams

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Multiple ownership

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Towards Overcoming Deficiencies in Constraint Diagrams

VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Evaluating and generalizing constraint diagrams

Journal of Visual Languages and Computing
Diagrammatic Reasoning Systems

ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Diagrammatic Formal Specification of a Configuration Control Platform

Electronic Notes in Theoretical Computer Science (ENTCS)
A Survey of Reasoning Systems Based on Euler Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams

Journal of Visual Languages and Computing
Abstraction in reasoning about higraph-based systems

FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
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
A decision procedure for a decidable fragment of generalized constraint diagrams

Journal of Visual Languages and Computing
Heterogeneous proofs: spider diagrams meet higher-order provers

ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Syllogisms in Rudimentary Linear Logic, Diagrammatically

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract

Geared to complement UML and to the specification oflarge software systems by non-mathematicians, constraintdiagrams are a visual language that generalizes the popularand intuitive Venn diagrams and Euler circles, andadds facilities for quantifying over elements and navigatingrelations. The language design emphasizes scalabilityand expressiveness while retaining intuitiveness. Spider diagramsform a subset of the notation, leaving out universalquantification and the ability to navigate relations. Spiderdiagrams have been given a formal definition. This paperextends that definition to encompass the constraint diagramnotation. The formalization of constraint diagrams is non-trivial:it exposes subtleties concerned with the implicit orderingof symbols in the visual language, which were notevident before a formal definition of the language was attempted.This has led to an improved design of the language.