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. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1109/VL.1999.795884 | Tokyo |
Keywords | Field | DocType |
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 | Venn diagram,Visual language,Programming language,Expression (mathematics),Unified Modeling Language,Computer science,Euler diagram,Theoretical computer science,Formal specification,Formal methods,Story-driven modeling | Conference |
ISSN | ISBN | Citations |
1049-2615 | 0-7695-0216-4 | 36 |
PageRank | References | Authors |
15.07 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joseph Gil | 1 | 317 | 52.56 |
John Howse | 2 | 756 | 107.01 |
Stuart Kent | 3 | 886 | 137.53 |