Abstract
Sound engineering approaches to user interface design require the formalization of key interaction concepts, one of them being metaphor. Work on interface metaphors has, however, been largely non-formal so far. The few existing formal theories of metaphor have been developed in the context of natural language understanding, learning, or reasoning. We propose to formalize interface metaphors by algebraic specifications. This approach provides a comprehensive formalization for the essential aspects of metaphorical user interfaces. Specifically, metaphor domains are being formalized by algebras, metaphorical mappings by morphisms, and image-schemas by categories. The paper explains these concepts and the approach, using examples of spatial and spatializing metaphors.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Apple Computer, Inc. (1987) Human Interface Guidelines: The Apple Desktop Interface, Reading, MA., Addison-Wesley.
Blumenthal, B. (1990) ‘Incorporating Metaphor in Automated Interface Design’, Proceedings Interact ’90, 659-664.
Burstall, R.M., and J.A. Goguen (1981) ‘An Informal Introduction to Formal Specifications Using CLEAR’, in R. S. Boyer and J. Moore (eds.), The Correctness Problem in Computer Science, New York: Academic Press, 185-213.
Carroll, J.M., R.L. Mack, and W.A. Kellogg (1988) Interface Metaphors and User Interface Design, in M. Helander (ed.), Handbook of Human-Computer Interaction, North-Holland: Elsevier Science Publishers, 67-85.
Conklin, J. (1987) ‘Hypertext: An Introduction and Survey’, IEEE Computer 20(9), 17-41.
Ehrich, H.-D., M. Gogolla, and U.W. Lipeck (1989) Algebraische Spezifikation abstrakter Datentypen, Leitfäden und Monographien der Informatik, Stuttgart: B.G. Teubner.
Ehrig, H., and B. Mahr (1985) Fundamentals of Algebraic Specification, Berlin: Springer-Verlag.
Erickson, T.D. (1990a) Woiking with Interface Metaphors, in B. Laurel (ed.), The Art of Human-Computer Interface Design, Addison-Wesley, 65-73.
Erickson, T.D. (1990b) Personal communication.
Fairchild, K., G. Meredith, and A. Wexelblatt (1989) The Tourist Artificial Reality’, Proceedings ACM CHI’89, 299-304.
Gentner, D. (1983) ‘Structure-Mapping: A Theoretical Framework for Analogy’, Cognitive Science 7, 155-170.
Gentner, D. (1989) The mechanisms of analogical learning, in S. Vosniadou and A. Ortony (eds.), Similarity and Analogical Reasoning, Cambridge, UK, Cambridge University Press, 199-241.
Goguen, J. A., J. W. Thatcher, and E. G. Wagner (1978) An Initial Algebraic Approach to the Specification, Correctness, and Implementation of Abstract Data Types, in R. Yeh (ed.), Current Trends in Programming Methodology, Englewood Cliffs, N.J., Prentice-Hall. 80-149.
Guttag, J.V., and J.J. Horning (1978) The Algebraic Specification of Abstract Data Types’, Acta Informatica 10(1), 27-52.
Guttag, J.V., J.J. Homing, and J.M. Wing (1985) Larch in Five Easy Pieces, Digital Equipment Corporation, Systems Research Center.
Halasz, F., and T.P. Moran (1981) ‘Analogy Considered Harmful’, International Journal of Man-Machine Studies 14, 383-386.
Hall, R.P. (1989) ‘Computational Approaches to Analogical Reasoning: A Comparative Analysis’, Artificial Intelligence 39,39-120.
Henderson, D.A., Jr., and S.K. Card (1986) ‘Rooms: The Use of Multiple Virtual Workspaces to Reduce Space Contention in a Window-Based Graphical User Interface’, ACM Transactions on Graphics 5(3), 211-243.
Induikhya, B. (1989) Metaphor and Cognition, Boston University, unpublished manuscript.
Jackson, J.P. (1990) Visualization of Metaphors for Interaction With Geographic Information Systems, Masters of Science Thesis, University of Maine, Department of Surveying Engineering.
Johnson, J. (1987) ‘How faithfully should the electronic office simulate the real one?’, ACM SIGCHI Bulletin 19(2), 21-25.
Johnson, M. (1981) ‘Metaphor in the Philosophical Tradition’, in M. Johnson (ed.), Philosophical Perspectives on Metaphor, Minneapolis, University of Minnesota Press, 3–47.
Johnson, M. (1987) The Body in the Mind, Chicago, The University of Chicago Press.
Kuhn, W. (1990) ‘Are Displays Maps or Views?’, Technical Report, Department of Surveying Engineering, University of Maine.
Lakoff, G. (1987) Women, Fire, and Dangerous Things, Chicago, The University of Chicago Press.
Lakoff, G. (1988) Cognitive Semantics. In Meaning and Mental Representations, in U. Eco, M. Santambrogio and P. Violi (eds.), Bloomington, Indiana University Press, 119-154.
Lakoff, G. (1990) The Invariance Hypothesis: is abstract reason based on image-schemas?’, Cognitive Linguistics 1(1), 39-74.
Lakoff, G., and M. Johnson (1980) Metaphors We Live By, Chicago, The University of Chicago Press.
Liskov, B., and J. Guttag (1986) Abstraction and Specification in Program Development, The MTT Electrical Engineering and Computer Science Series, Cambridge, MA., The MIT Press (MacGraw-Hill).
Mac Cormac, E.R. (1985) A Cognitive Theory of Metaphor, Cambridge, MA., The MIT Press.
MacLane, S., and G. Birkhoff (1967) Algebra, New York: Macmillan.
Mark, D. (1989) ’Cognitive Image-Schemata for Geographic Information: Relations to User Views and GIS Interfaces’, Proceedings GIS/LIS’89 2, 551-560.
Martin, J.H. (1990) A Computational Model of Metaphor Interpretation, New York: Academic Press.
Nielsen, J. (1990) Designing User Interfaces for International Use, Amsterdam: Elsevier Science Publishers.
Ortony, A. (1979) Metaphor and Thought, Cambridge, UK, Cambridge University Press.
Smith, D.C.S., C. Irby, R. Kimball, B. Verplank, and E. Harslam (1982) ‘Designing the Star User Interface’, Byte 7(4), April 1982, 242-282.
Tauber, M.J. (1987) On Visual Interfaces and their Conceptual Analysis, in P. Gorny and M.J.Tauber (eds.), Visualization in Programming, Springer-Verlag, 106-123.
Travers, M. (1989) ’A Visual Representation for Knowledge Structures’, Proceedings Hypertext ’89, 147-158.
Volta, G.S., R. Cicogna, and W. Kuhn (1990) The MaineBook, Technical Report, Department of Surveying Engineering, University of Maine.
Vosniadou, S., and A. Ortony (1989) Similarity and Analogical Reasoning, Cambridge, UK, University Press.
Woodcock, J., and M. Loomes (1989) Software Engineering Mathematics, SEI Series in Software Engineering, Reading, MA., Addison-Wesley.
Wozny, L.A. (1989) The application of metaphor, analogy, and conceptual models in computer science’, Interacting with Computers 1(3), 273-283.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Kuhn, W., Frank, A.U. (1991). A Formalization of Metaphors and Image-Schemas in User Interfaces. In: Mark, D.M., Frank, A.U. (eds) Cognitive and Linguistic Aspects of Geographic Space. NATO ASI Series, vol 63. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-2606-9_24
Download citation
DOI: https://doi.org/10.1007/978-94-011-2606-9_24
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-5151-4
Online ISBN: 978-94-011-2606-9
eBook Packages: Springer Book Archive