Formalizing spider diagrams

Author

Gil, Joseph ; Howse, John ; Kent, Stuart

Author_Institution

Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel

fYear

1999

fDate

1999

Firstpage

130

Lastpage

137

Abstract

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

Keywords

diagrams; formal specification; set theory; specification languages; visual languages; Euler circles; Euler diagrams; UML; Unified Modelling Language; Venn diagrams; expressiveness; formal semantics; intuitiveness; large software systems specification; logical expressions; nonmathematicians; scalability; self-consistency; spider diagrams; visual language; Computer science; Educational institutions; Gas insulated transmission lines; Identity-based encryption; Joining processes; Laboratories; Mathematics; Read only memory; Unified modeling language; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Visual Languages, 1999. Proceedings. 1999 IEEE Symposium on

Conference_Location

Tokyo

ISSN

1049-2615

Print_ISBN

0-7695-0216-4

Type

conf

DOI

10.1109/VL.1999.795884

Filename

795884