STAPLETON, GEM and HOWSE, JOHN (2006) Enhancing the expressiveness of spider diagram systems In: Proceedings of the 12th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, Grand Canyon, USA, 30 August - 1 September, 2006.
Download (131kB) | Preview
Many visual languages based on Euler diagrams have emerged for expressing relationships between sets. The expressive power of these languages varies, but the majority are monadic and some include equality. Spider diagrams are one such language, being equivalent in expressive power to monadic first order logic with equality. Spiders are used to represent the existence of elements or specific individuals and distinct spiders represent distinct elements. Logical connectives are used to join diagrams, increasing the expressiveness of the language. Spider diagrams that do not incorporate logical connectives are called unitary diagrams. In this paper we explore generalizations of the spider diagram system. We consider the effects of these generalizations on the expressiveness of unitary spider diagrams and on conciseness.
|Item Type:||Contribution to conference proceedings in the public domain ( Full Paper)|
|Additional Information:||© 2006 The Authors|
|Uncontrolled Keywords:||Euler diagrams; Visual languages; Spider diagrams|
|Subjects:||G000 Computing and Mathematical Sciences|
|Faculties:||Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling|
|Date Deposited:||24 Nov 2007|
|Last Modified:||21 May 2014 11:01|
Actions (login required)
Downloads per month over past year