ABSTRACT
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.
- Borning 79.Borning, Alan, ThingLab - A Constraint-Oriented Simulation Laboratory, PhD Thesis, Stanford University, 1979. Google ScholarDigital Library
- Broverman and Croft 85.Broverman, C. A. and W. B. Croft, A Knowledge- Based Approach To Data Management For Intelligent User Interfaces, Proceedings of VLDB 85, Stockholm, 1985, pp. 96-104.Google Scholar
- Clocksin and Mellish 84.Cloeksin, W.F. and C.S. Mellish, second edition, Springer-Verlag, Berlin, 1984.Google Scholar
- Cohen, Smith and Iverson 86.Cohen, Ellis S., Edward T. Smith and Lee A. Iverson, Constraint-Based Tiled Windows, IEEE Computer Graphics and Applications, May 1986. Google ScholarDigital Library
- Cox and Pietrzykowski 81.Cox, Philip T. and Tomasz Pietrzykowski, Deduction Plans: A Basis for Intelligent Backtracking, IEEE Transactions on Pattern Analysis and Machine Intelligence Vol. PAMI-8(January 1981), pp. 52-65.Google Scholar
- Cox 86.Cox, Brad J., Object Oriented Programming - An Evolutionary Approach, Addison Wesley, Reading, Mass., 1986. Google ScholarDigital Library
- Croft and Lefkowitz 84.Croft, W. B. and L. S. Lefkowitz, Task Support in an Office System, A CM Transactions on Office Information Sy~tem~ Vol. 2 , No. 3 (July 1984), pp. 197-212. Google ScholarDigital Library
- Deutsch 86.Deutsch, L. Peter, Panel: User Interface Frameworks, OOPSLA '86 Conf. Proc., Portland, OR, September 1986.Google Scholar
- Draper and Norman 84.Draper, Stephen W. and Donald A. Norman, Software Engineering For User Interfaces, Proceedings of the Seventh International Conference on Software Engineering, Orlando, Florida,March 1984. Google ScholarDigital Library
- Duisberg 86.Duisberg, Robert A., Animus: A Constraint Based Animation System, Proc. of the Conf. on Human Factors in Computing Systems, 1986.Google Scholar
- Ege 86.Ege, Raimund K., The Filter- A Paradigm for Interfaces, Technical Report No. CSE-86-011, Oregon Graduate Center, Beaverton, OR, September 1986.Google Scholar
- Ege, Maier and Borning 87.Ege, Raimund K., David Mulet and Alan Borning, The Filter Browser: Defining InterfaCes Graphically, Proc. European Conf. on Object Oriented Programming, Paris, France, June 1987. Google ScholarDigital Library
- Forsythe and Matwin 84.Forsythe, Kenneth and Stanislaw Matwin, Implementation Strategies For Plan-Based Deduction, in International conference on automated ded~zction. Proceedings of the 7th conference (Napa, 1984) {Lecture notes in computer science; n.170}, R.E. Shostak (ed.), Springer-Verlag, New York, 1984. Google ScholarDigital Library
- Goldberg and Robson 83.Goldberg, Adele and D. Robson, Smalltalk-80: The Language and its Implementation, Addison Wesley, Reading, Mass., 1983. Google ScholarDigital Library
- Gray, Moffat and Boulay 85.Gray, P.M.D., D.S. Moffat and J.B.H. du Boulay, Persistent Prolog: A Secondary Storage Manager for Prolog, Persistence and Data Types Papers for the Appin Workshop, University of Glasgow, Glasgow, August 1985, pp. 353- 368.Google Scholar
- Green 85.Green, Mark, The Uaiversity of Alberta User Interface Management System, ACM SIGGRAPH'85 San Francisco Vol. 19, No. 3 (July 1985), pp. 205-213. Google ScholarDigital Library
- Grossman 87.Grossman, Mark, Task Interaction and Control System (TICS}, PhD Thesis, Oregon Graduate Center, 1987. Google ScholarDigital Library
- Hudson and King 86.Hudson, Scott E. and Roger King, A Generator of Direct Manipulation Office Systems, A CM Transactions on Office Information Systems Vol. .{, No. 2 (April 1986), pp. 132-163. Google ScholarDigital Library
- Kowalski 82.Kowalski, R.A., Logic As A Computer Language, in Logic Programming, K.L. Clark and S.A. T~rnlund (ed.), Academic Press, London, 1982, pp. 3-16.Google Scholar
- Leler 86.Leler, Win, Specification and Generation of Constraint Satisfaction Systems using Auomented Term Rewriting, PhD Thesis, The University of North Carolina at Chapel Hill, 1986. Google ScholarDigital Library
- Maier, Nordquist and Grossman 86.Mater, David, Peter Nordquist and Mark Grossman, Displaying Database Objects, Proe. First Int. Conf. on Expert Database Systems, Charleston, South Carolina, April 1986.Google Scholar
- Matwin and Pietrzykowski 85.Matwin, Stanislaw and Tomasz Pietrzykowski, Intelligent Backtracking in Plan-Bused Deduction, IEEE Transactions on Pattern Analysis and Machine Intelligence Vol. PAMI-7(November 1985), pp. 682- 692.Google Scholar
- Moffat and Gray 86.Moffat, D.S. and P.M.D. Gray, Interfacing Prolog to a Persistent Data Store, 8rd International Conference on Logic Programming {to be published by Springer Verlag, editor E. Shapiro}, London, July 1986. Google ScholarDigital Library
- Morgenstern 83.Morgenstern, M., Active Databases as a Paradigm for Enhanced Computing Environments, Proc. 9th Int. Conf. on Very Large Data Ba~es, Florence, Italy, October 1983. Google ScholarDigital Library
- Nordquist 85.Nordquist, Peter, Interactive Display Generation in Smalltalk, Master's thesis, Technical Report CS/E 85-009, Oregon Graduate Center, March 1985.Google Scholar
- Roach and Nickson 83.Roach, J. W. and M. Niekson, Formal Specifications For Modeling And Developing Human/Computer Interfaces, Proceedings of the CHI 1983 Conference on Human Factors in Computer Systems, December 1983, pp. 35-39. Google ScholarDigital Library
- Sutherland 63.Sutherland, I., Sketchpad: A Man.Machine Graphical Communication System, PhD Thesis, MIT, 1963.Google Scholar
- Van Wyk 81.Van Wyk, C., IDEAL User's Manual, Computing Science Technical Report No. 103, Bell Laboratories, Murray Hill, 1981.Google Scholar
- Wasserman 85.Wasserman, A., Extending State Transition Diagrams for the Specification of Human-Computer Interaction, Transactions On Software Engineering Vol. SE-11, No. 8 (August 1985), pp. 699-713. Google ScholarDigital Library
- Winograd 79.Winograd, Terry, Beyond Prggramming Languages, Comm. ACM PP, 7 (July 1979), pp.391-401. Google ScholarDigital Library
Index Terms
- Logical composition of object-oriented interfaces
Recommendations
Logical composition of object-oriented interfaces
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 ...
Object-oriented user interfaces (abstract)
OOPSLA '92: Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)The principles of objects, polymorphism, classes, and inheritance can apply to the end users external view of a user interface, just as it can apply to the language that is used to implement it. This tutorial shows how to design (not implement) a user ...
Comments