Abstract
Goguen has proposed the use of semiotics to study the ways in which information is mediated in computer systems, particularly in user interfaces. His algebraic semiotics provides a formal tool for studying the systematic use of signs in computer systems, and for presenting formal comparisons of different interface designs. The formal elements of algebraic semiotics make it a kind of algebraic engineering for sign systems, and introduces an engineering rigour to interface design.
This paper presents some applications of algebraic semiotics to the design of user interfaces. In particular, we study the kinds of signs used in interfaces, and how they work as signs. We present some basic notions from algebraic semiotics, namely sign systems and semiotic morphisms, and apply these concepts to the sign systems of user interfaces, which allows us to give rigorous argumentation why some representations are better than others.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
James J. Gibson. The theory of affordances. In Roberts Shaw John Bransford, editor, Perceiving, Acting, and Knowing: Toward an Ecological Psychology. Lawrence Earlbaum Associates, 1977.
Joseph A. Goguen. An introduction to algebraic semiotics, with applications to user interface design. In Chrystopher Nehaniv, editor, Proceedings, Computation for Metaphors, Analogy and Agents, pages 54–79, 1998.
Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, and Akiyoshi Sato. Distributed cooperative formal methods tools. In Proc. Automated Software Engineering. IEEE, 1997.
Joseph A. Goguen and Grant Malcolm. Algebraic Semantics of Imperative Programs. MIT Press, 1996.
Joseph A. Goguen, Akira Mori, and Kai Lin. Algebraic semiotics, proofwebs and distributed cooperative proving. In Proc. User Interfaces for Theorem Provers, 1997.
Saunders Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer Verlag, 1971.
John M. Lawler. Metaphors we compute by. Lecture notes available at http://www.ling.lsa.umich.edu/jlawler/, 1987.
Charles Saunders Pierce. Collected Papers. Harvard, 1965. 6 volumes.
Ben Shneiderman. Designing the User Interface: Strategies for Effective Human-Computer Interaction. Addison Wesley, 1986.
Mark Treglown. Is the trashcan being ironic? Applying a contemporary theory of metaphor to HCI. This volume, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London
About this paper
Cite this paper
Malcolm, G., Goguen, J.A. (1999). Signs and Representations: Semiotics for User Interface Design. In: Paton, R., Neilson, I. (eds) Visual Representations and Interpretations. Springer, London. https://doi.org/10.1007/978-1-4471-0563-3_17
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0563-3_17
Publisher Name: Springer, London
Print ISBN: 978-1-85233-082-8
Online ISBN: 978-1-4471-0563-3
eBook Packages: Springer Book Archive