Initiality, induction, and computability
Algebraic methods in semantics
Plans and situated actions: the problem of human-machine communication
Plans and situated actions: the problem of human-machine communication
Designing the user interface (videotape)
Designing the user interface (videotape)
Distributed Artificial Intelligence (Vol. 2)
Topology and category theory in computer science
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Requirements engineering: social and technical issues
Requirements engineering: social and technical issues
Requirements engineering as the reconciliation of social and technical issues
Requirements engineering
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control
Distributed cooperative formal methods tools
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Course In General Linguistics
Web-Based Support for Cooperative Software Engineering
Annals of Software Engineering
Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
Automated Software Engineering
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Communication of Social Agents and the Digital City - A Semiotic Perspective
Revised Papers from the Second Kyoto Workshop on Digital Cities II, Computational and Sociological Approaches
AUIC '03 Proceedings of the Fourth Australasian user interface conference on User interfaces 2003 - Volume 18
A DSS Design Model for complex problems: Lessons from mission critical infrastructure
Decision Support Systems
The semiotic inspection method
IHC '06 Proceedings of VII Brazilian symposium on Human factors in computing systems
Conceptual modeling by analogy and metaphor
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Metaphor-based meaning excavation
Information Sciences: an International Journal
Information Sciences: an International Journal
CHI '10 Extended Abstracts on Human Factors in Computing Systems
Synthesis and emergence in engineering design problem solving
ecodesign'99 Proceedings of the First international conference on Environmentally conscious design and inverse manufacturing
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Representing game characters' inner worlds through narrative perspectives
Proceedings of the 6th International Conference on Foundations of Digital Games
Notes for the conceptual design of interfaces
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Geospatial semantics: why, of what, and how?
Journal on Data Semantics III
A taxonomy of user-interface metaphors
CHINZ '02 Proceedings of the SIGCHI-NZ Symposium on Computer-Human Interaction
Reassessing the Foundations of Semiotics: Preliminaries
International Journal of Signs and Semiotic Systems
Hi-index | 0.00 |
This paper introduces a new approach to user interface design and other areas, called algebraic semiotics. The approach is based on a notion of sign, which allows complex hierarchical structure and incorporates the insight (emphasized by Saussure) that signs come in systems, and should be studied at that level, rather than individually. A user interface can be considered as a representation of the underlying functionality to which it provides access, and thus user interface design can be considered a craft of constructing such representations, where both the interface and the underlying functionality are considered as (structured) sign systems. In this setting, representations appear as mappings, or morphisms, between sign systems, which should preserve as much structure as possible. This motivates developing a calculus having systematic ways to combine signs, sign systems, and representations. One important mode of composition is blending, introduced by Fauconnier and Turner; we relate this to certain concepts from the very abstract area of mathematics called category theory. Applications for algebraic semiotics include not only user interface design, but also cognitive linguistics, especially metaphor theory and cognitive poetics. The main contribution of this paper is the precision it can bring to such areas. Building on an insight from computer science, that discrete structures can be described by algebraic theories, sign systems are defined to be algebraic theories with extra structure, and semiotic morphisms are defined to be mappings of algebraic theories that (to some extent) preserve the extra structure. As an aid for practical design, we show that the quality of representations is closely related to the preservation properties of semiotic morphisms; these measures of quality also provide the orderings needed by our category theoretic formulation of blending.