Abstract
Formal diagrammatic notations have been developed as alternatives to symbolic specification notations. Ostensibly to aid users in performing comprehension and reasoning tasks, restrictions called wellformedness conditions may be imposed. However, imposing too many of these conditions can have adverse effects on the utility of the notation (e.g. reducing the expressiveness). Understanding the human factors involved in the use of a notation, such as how user-preference and comprehension relate to the imposition of wellformedness conditions, will enable the notation designers to make more informed design decisions. Euler diagrams are a simple visualization of set-theoretic relationships which are the basis of more expressive constraint languages. We have performed exploratory studies with Euler diagrams which indicated that novice user preferences strongly conform to the imposition of all wellformedness conditions, but that even a limited exposure diminishes this preference.
The original version of the book was revised: The copyright line was incorrect. The Erratum to the book is available at DOI: 10.1007/978-3-540-92698-6_37
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Khazaei, B., Roast, C.: The Influence of Formal Representation on Solution Specification. Requirements Engineering (8), 69–77 (2003)
Roast, C.R., Siddiqi, J.I.: Contrasting Models for Visualisation (Seeing the wood through the trees). In: Duce, D., Puerta, A. (eds.) Design, Specification and Verification of Interactive Systems 1999, EuroGraphics. Springer, Wein (1999)
Britton, C., Jones, S.: The Untrained Eye: How languages for software specification support understanding in untrained users. Human-computer Interaction 14, 191–244 (1999)
Fish, A., Flower, J., Howse, J.: The Semantics of Augmented Constraint Diagrams. Journal of Visual Languages and Computing 16, 541–573 (2005)
Kent, S.: Constraint Diagrams: Visualizing Invariants in Object Oriented Modelling. In: Proceedings of OOPSLA 1997, pp. 327–341. ACM Press, New York (1997)
Gurr, C.: Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues. Visual Languages and Computing 10(4) (1999)
Shimojima, A.: Operational constraints in diagrammatic reasoning. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams, pp. 27–48. Oxford University Press, Oxford (1996)
Euler, L.: Lettres a une Princesse d’Allemagne sur divers sujets de physique et de philosophie. Letters Berne, Socit. Typographique 2, 102–108 (1775)
Venn, J.: On the diagrammatic and mechanical representation of propositions and reasoning. Phil. Mag. (1880)
Chiara, R.D., Erra, U., Scarano, V.: Vennfs: A venn diagram file manager. In: Proceedings of Information Visualisation, pp. 120–126. IEEE Computer Society, Los Alamitos (2003)
Chiara, R.D., Erra, U., Scarano, V.: A system for virtual directories using euler diagrams. In: Proceedings of Euler Diagrams 2004. Electronic Notes in Theoretical Computer Science, vol. 134, pp. 33–53 (2005)
Kestler, H., Muller, A., Gress, T., Buchholz, M.: Generalized venn diagrams: a new method of visualizing complex genetic set relations. Journal of Bioinformatics 21(8), 1592–1595 (2005)
Hayes, P., Eskridge, T., Saavedra, R., Reichherzer, T., Bobrovnikoff, D.: Collaborative knowledge capture ontologies. In: Proceedings of K-CAP 2005 (2005)
Chow, S., Ruskey, F.: Drawing area-proportional venn and euler diagrams. In: Liotta, G. (ed.) GD 2003. LNCS, vol. 2912, pp. 466–477. Springer, Heidelberg (2004)
Harel, D.: On visual formalisms. In: Glasgow, J., Narayan, N.H., Chandrasekaran, B. (eds.) Diagrammatic Reasoning, pp. 235–271. MIT Press, Cambridge (1998)
Howse, J., Schuman, S.: Precise visual modelling. Journal of Software and Systems Modeling 4, 310–325 (2005)
Fish, A., Flower, J.: Investigating reasoning with constraint diagrams. In: Visual Language and Formal Methods 2004, Rome, Italy. ENTCS, vol. 127, pp. 53–69. Elsevier, Amsterdam (2004)
Flower, J., Masthoff, J., Stapleton, G.: Generating readable proofs: A heuristic approach to theorem proving with spider diagrams. In: Proceedings of Diagrams 2004, Cambridge, UK, pp. 166–181. Springer, Heidelberg (2004)
Hammer, E.: Logic and Visual Information. CSLI Publications (1995)
Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS J. Computation and Mathematics 8, 145–194 (2005)
Shin, S.J.: The logical Status of Diagrams. Cambridge University Press, Cambridge (1994)
Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn heterogeneous rules of inference. Journal of Software and Systems Modeling 3(2), 136–149 (2004)
Fish, A., Stapleton, G.: Formal issues in languages based on closed curves. In: Proceedings of VLC 2006, Visual Languages and Computing, Grand Canyon, USA, Knowledge Systems Institute, pp. 161–167 (2006)
Flower, J., Howse, J.: Generating Euler diagrams. In: Proceedings of Diagrams 2002, Callaway Gardens Georgia, USA, pp. 61–75. Springer, Heidelberg (2002)
Swoboda, N., Allwein, G.: Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL. In: Proceedings of Euler Diagrams 2004. ENTCS, vol. 134. Elsevier Science, Amsterdam (2005)
Ruskey, F.: A survey of Venn diagrams. Electronic Journal of Combinatorics (1997), www.combinatorics.org/Surveys/ds5/VennEJC.html
Howse, J., Molina, F., Shin, S.J., Taylor, J.: Type-syntax and token-syntax in diagrammatic systems. In: Proceedings FOIS 2001: 2nd International Conference on Formal Ontology in Information Systems, Maine, USA, pp. 174–185. ACM Press, New York (2001)
Roast, C.R., Steele, R.A.: Using interfaces and liking interaction. In: Sharp, H., Le Peuple, J., Chalk, P., Rosbottom, J. (eds.) Proceedings of Human-Computer Interaction 2002. BCS, vol. 2, pp. 46–49 (2002) ISBN:1-902505-48-4
John, C., Fish, A., Howse, J., Taylor, J.: Exploring the notion of Clutter in euler diagrams. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrams 2006. LNCS, vol. 4045, pp. 267–282. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fish, A., Khazaei, B., Roast, C. (2008). Exploring Human Factors in Formal Diagram Usage. In: Gulliksen, J., Harning, M.B., Palanque, P., van der Veer, G.C., Wesson, J. (eds) Engineering Interactive Systems. EHCI 2007. Lecture Notes in Computer Science, vol 4940. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92698-6_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-92698-6_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-92697-9
Online ISBN: 978-3-540-92698-6
eBook Packages: Computer ScienceComputer Science (R0)