Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Task support in an office system
ACM Transactions on Information Systems (TOIS)
Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
A generator of direct manipulation office systems
ACM Transactions on Information Systems (TOIS)
Interfacing Prolog to a persistent data store
Proceedings on Third international conference on logic programming
IEEE Computer Graphics and Applications
Object oriented programming: an evolutionary approach
Object oriented programming: an evolutionary approach
The filter browser defining interfaces graphically
European conference on object-oriented programming on ECOOP '87
Specification and generation of constraint satisfaction systems
Specification and generation of constraint satisfaction systems
The University of Alberta user interface management system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Communications of the ACM
Active Databases as a Paradigm for Enhanced Computing Environments
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Implementation Strategies for Plan-Based Deduction
Proceedings of the 7th International Conference on Automated Deduction
Formal specifications for modeling and developing human/computer interfaces
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Software engineering for user interfaces
ICSE '84 Proceedings of the 7th international conference on Software engineering
Thinglab--a constraint-oriented simulation laboratory.
Thinglab--a constraint-oriented simulation laboratory.
Task interaction and control system (tics)
Task interaction and control system (tics)
History, state and future of user interface management systems
ACM SIGCHI Bulletin
Hi-index | 0.00 |
This paper describes an approach to object-oriented interface design that goes beyond mere object decomposition. In our user interface management system we use logic and filters to declaratively specify and control a space of ways that objects may be composed to create interfaces. A filter is a package of constraints and associated typed objects that express the relationship of data and representation objects.Conceptually our system is completely based on constraints. Filters provide the high bandwidth constraints to maintain the components of the direct-manipulation interface while the logic forms the low bandwidth constraints to combine and provide communication between these components. The use of Horn-clause logic to compose separate interface objects facilitates both the distribution of computation onto multiple processors and the generation of multiple views of data. Intelligent backtracking implemented in the logic allows for user- and system-initiated undo operations to correct errors and/or try alternative approaches to a problem. We illustrate the power and flexibility of this approach by describing a floor layout and design system.