Title :
Formalizing spider diagrams
Author :
Gil, Joseph ; Howse, John ; Kent, Stuart
Author_Institution :
Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel
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;
Conference_Titel :
Visual Languages, 1999. Proceedings. 1999 IEEE Symposium on
Conference_Location :
Tokyo
Print_ISBN :
0-7695-0216-4
DOI :
10.1109/VL.1999.795884
