Formalizing Spider Diagrams

Authors:
Joseph (Yossi) Gil;John Howse;Stuart Kent
Affiliations:
-;-;-
Venue:
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Year:
1999

Citing 0
Cited 22

Advanced visual modeling (tutorial session): beyond UML

Proceedings of the 22nd international conference on Software engineering
Type-syntax and token-syntax in diagrammatic systems

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
The unified modeling language

Formal methods for distributed processing
Advanced visual modelling: beyond UML

Proceedings of the 24th International Conference on Software Engineering
On the Completeness and Expressiveness of Spider Diagram Systems

Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Positive Semantics of Projections in Venn-Euler Diagrams

Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Generating Euler Diagrams

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Constraint Diagrams: A Step Beyond UML

TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Evaluating and generalizing constraint diagrams

Journal of Visual Languages and Computing
A diagrammatic reasoning system for the description logic ALC

Journal of Visual Languages and Computing
Diagrammatic Reasoning Systems

ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Conceptual Spider Diagrams

ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
A Survey of Reasoning Systems Based on Euler Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL

Electronic Notes in Theoretical Computer Science (ENTCS)
Consistency checking and visualization of OCL constraints

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Mixing visual and textual constraint languages

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Syllogisms in Rudimentary Linear Logic, Diagrammatically

Journal of Logic, Language and Information
Visualizing and specifying ontologies using diagrammatic logics

AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112
On the expressiveness of spider diagrams and commutative star-free regular languages

Journal of Visual Languages and Computing
On the expressiveness of second-order spider diagrams

Journal of Visual Languages and Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Geared to complement UML and to the specification of large software systems by non-mathematicians, \Em{spider diagrams} are a visual language that generalizes the popular and intuitive Venn diagrams and Euler circles. The language design emphasized scalability and expressiveness while retaining intuitiveness. In this extended abstract we describe spider diagrams from a mathematical standpoint and show how their formal semantics in terms of logical expressions can be made. We also claim that all spider diagrams are self-consistent.