Using Model Dataflow Graphs to Reduce the Storage Requirements of Constraints

ACM Transactions on Computer-Human Interaction

Volumn 8, Issue 3, 2001, Pages 223-265

  Zanden, Bradley T Vander ^a   Halterman, Richard ^b  

^a University of Tennessee Knoxville   (United States)

^b SOUTHERN ADVENTIST UNIVERSITY   (United States)

Author keywords

Algorithms; Class instance model; dataflow constraints; Experimentation; graphical interfaces; language design and implementation; Performance; programming environments; prototype instance model; storage optimization

Indexed keywords

EID: 27544474451     PISSN: 10730516     EISSN: 15577325     Source Type: Journal    
DOI: 10.1145/502907.502910     Document Type: Article

References (38)

1. Alpert, S. R. 1993. Graceful interaction with graphical constraints. IEEE Comput. Graph. Appl. 13, 2 (March), 82-91
2. Barth, P. 1986. An object-oriented approach to graphical interfaces. ACM Trans. Graph. 5, 2 (Apr.), 142-172
3. Borning, A. 1981. The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM Trans. Program. Lang. Syst. 3, 4 (Oct.), 353-387
4. Borning, A., Duisberg, R., Freeman-Benson, B., Kramer, A., and Woolf, M. 1987. Constraint hierarchies. In Proceedings of the ACM Conference on Object-Oriented Programming (OOPSLA ‘87). ACM, New York, NY, 48-60
5. Calder, P. R. and Linton, M. A. 1990. Glyphs: Flyweight objects for user interfaces. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST ‘90, Snowbird, UT), ACM, New York, NY
6. Demers, A., Reps, T., and Teitelbaum, T. 1981. Incremental evaluation for attribute grammars with application to syntax-directed editors. In Proceedings of the Principles of Programming Languages Conference (Williamsburg, VA), 105-116
7. Freeman-Benson, B. N. 1989. A module mechanism for constraints in Smalltalk. SIGPLAN Not. 24, 9 (Oct.)
8. Freeman-Benson, B. N. 1990. Kaleidoscope: Mixing objects, constraints, and imperative programming. In Proceedings of the OOPSLA/ECOOP'90, 77-88
9. Freeman-Benson, B. N., Maloney, J., and Borning, A. 1990. An incremental constraint solver. Commun. ACM 33, 1 (Jan.)
10. Gamma, E., Helm, R., Johnson, R., and Vlissides, J. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA
11. Golub, G. H. and Van Loan, C. F. 1989. Matrix Computations, 2nd ed. Johns Hopkins University Press, Baltimore, MD
12. Hill, R. D. 1993. The RENDEZVOUS constraint maintenance system. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST ‘93. Atlanta, GA), ACM, New York, NY
13. Hoover, R. 1992. Alphonse: Incremental computation as a programming abstraction. SIGPLAN Not. 27, 7 (July), 261-272
14. Hudson, S. and King, R. 1988. Semantic feedback in the Higgens UIMS. IEEE Trans. Softw. Eng. 14, 8 (Aug), 1188-1206
15. Hudson, S. E. Eval/Vite User'S Guide (v1.0). Tech. Rep., College of Computing, Georgia Institute of Technology, Atlanta
16. Hudson, S. E. 1991. Incremental attribute evaluation: A flexible algorithm for lazy update. ACM Trans. Program. Lang. Syst. 13, 3 (July)
17. Hudson, S. E. 1994. User interface specification using an enhanced spreadsheet model. ACM Trans. Graph. 13, 3 (July), 209-239
18. Hudson, S. E. and Mohamed, S. P. 1990. Interactive specification of flexible user interface displays. ACM Trans. Inf. Syst. 8, 3 (July), 269-288
19. Hudson, S. E. and Smith, I. 1996. Ultra-lightweight constraints. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST ‘96, Seattle, WA)
20. Jaffar, J., Michaylov, S., Stuckey, P. J., and Yap, R. H. C. 1992. The CLP(K) language and system. ACM Trans. Program. Lang. Syst. 14, 3 (July)
21. Linton, M. A., Vlissides, J. M., and Calder, P. R. 1989. Composing user interfaces with InterViews. IEEE Computer 22, 2 (Feb.)
22. Maloney, J., Borning, A., and Freeman-Benson, B. 1989. Constraint technology for user-interface construction in ThingLabII. SIGPLAN Not. 24, 10 (Oct.)
23. Myers, B. A., Giuse, D. A., Dannenberg, R. B., Vander Zanden, B., Kosbie, D. S., Pervin, E., Mickish, A., and Marchal, P. 1990. Garnet: Comprehensive support for graphical highly interactive user interfaces. IEEE Computer 23, 11 (Nov.)
24. Myers, B. A., Giuse, D. A., Mickish, A., and Kosbie, D. 1994. Making structured graphics and constraints practical for large-scale applications. Tech. Rep. CMU-CS-94-150, Carnegie Mellon Univ. Pittsburgh, PA, May
25. Myers, B. A., Mcdaniel, R. G., Miller, R. C., Ferrency, A., Faulring, A., Kyle, B. D., Mickish, A., Klimovitski, A., and Doane, P. 1997. The Amulet environment: New models for effective user interface software development. IEEE Trans. Softw. Eng. 23, 6 (June)
26. Reps, T., Teitelbaum, T., and Demers, A. 1983. Incremental context-dependent analysis for language-based editors. ACM Trans. Program. Lang. Syst. 5, 3 (July)
27. Rosener, W. J. 1994. Integrating multi-way and structural constraints into spreadsheet programming. Ph.D. thesis, Dept. of Computer Science, Univ. of Tennessee
28. Roussel, P. 1975. PROLOG: Manuel de Reference et d'Utilisation. Group d'Intelligence Artifi-cielle, Univ. de Marseilles
29. Sannella, M. 1994. Skyblue: A multi-way local propagation constraint solver for user interface construction. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST'94, Marina del Rey, CA), ACM, New York, NY, 137-146
30. Sannella, M. and Borning, A. 1992. Multi-Garnet: Integrating multi-way constraints with Garnet. Tech. Rep. 92-07-01, Dept. of Computer Science and Engineering, Univ. of Washington. Sept
31. Sannella, M., Maloney, J., Freeman-Benson, B., and Borning, A. 1993. Multi-way versus oneway constraints in user interfaces: Experiences with the DeltaBlue algorithm. Softw. Pract. Exper. 23, 5, 529-566
32. Vander Zanden, B. 1996. An incremental algorithm for satisfying hierarchies of multi-way, dataflow constraints. ACM Trans. Program. Lang. Syst. 18, 1 (Jan.), 30-72
33. Vander Zanden, B., Myers, B. A., Giuse, D., and Szekely, P. 1991. The importance of pointer variables in constraint models. in Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST'91, Hilton Head, SC), ACM, New York, NY, 155-164
34. Vander Zanden, B., Myers, B. A., Giuse, D. A., and Szekely, P. 1994. Integrating pointer variables into one-way constraint models. ACM Trans. Comput. Hum. Interaction 1, 2 (June), 161-213
35. Vander Zanden, B. T. 1994. Optimizing toolkit-generated graphical interfaces. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST'94, Marina del Rey, (A) ACM, New York, NY, 157-166
36. Vander Zanden, B. T. and Halterman, R. 1999. Reducing the storage requirements of constraint dataflow graphs. To appear in Proceedings of the 12th ACM SIGGRAPH Symposium on User Interface Software and Technology
37. Vander Zanden, B. T., Myers, B. A., Szekely, P., Giuse, D. A., Mcdaniel, R., Miller, R., Halterman, R., and Kosbie, D. Lessons Learned About One-Way, Dataflow Constraints In The Garnet and Amulet Graphical Toolkits. To Appear In Acm Transactions On Programming Languages and Systems
38. Van der Zanden, B. T. and Venckus, S. A. 1996. An empirical study of constraint usage in graphical applications. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST ‘96. Seattle, WA), ACM, New York, NY