Skip to main content
SpringerLink
Log in

The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces

  • Industrial Presentations
  • Conference paper
  • First Online:
Principles and Practice of Constraint Programming — CP '95 (CP 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 976))

Abstract

ENVY/Constraints is an IBM/Smalltalk library that provides a constraint satisfier and a collection of useful constraints, targeted at developing interactive graphical user interfaces. The solver supports multi-way constraints and constraint hierarchies. It uses a hybrid algorithm, combining local propagation with pluggable cycle solvers, allowing constraints to range over arbitrary objects, while at the same time satisfying constraints representing simultaneous equations over the reals.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alan Borning. The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM Transactions on Programming Languages and Systems, 3(4):353–387, October 1981.

    Google Scholar 

  2. Alan Borning, Bjorn Freeman-Benson, and Molly Wilson. Constraint hierarchies. Lisp and Symbolic Computation, 5(3):223–270, September 1992.

    Article  Google Scholar 

  3. Bjorn Freeman-Benson, John Maloney, and Alan Borning. An incremental constraint solver. Communications of the ACM, 33(1):54–63, January 1990.

    Article  Google Scholar 

  4. Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLP(ℛ) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339–395, July 1992.

    Article  Google Scholar 

  5. gus Lopez, Bjorn Freeman-Benson, and Alan Borning. Implementing constraint imperative programming languages: The kaleidoscope'93 virtual machine. In Proceedings of the 1994 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 259–271, October 1994.

    Google Scholar 

  6. Satoshi Matsuoka, Shin Takahashi, Tomihisa Kamada, and Akinori Yonezawa. A general framework for bidirectional translation between abstract and pictorial data. ACM Transactions on Information Systems, 10(4):408–437, October 1992.

    Article  Google Scholar 

  7. Brad A. Myers, Dario A. Giuse, Roger B. Dannenberg, Brad Vander Zanden, David S. Kosbie, Ed Pervin, Andrew Mickish, and Philip pe Marchai. Garnet: Comprehensive support for graphical, highly-interactive user interfaces. IEEE Computer, 23(11):71–85, November 1990.

    Google Scholar 

  8. Michael Sannella. Constraint Satisfaction and Debugging for Interactive User Interfaces. PhD thesis, Department of Computer Science and Engineering, University of Washington, 1994. Forthcoming.

    Google Scholar 

  9. Michael Sannella, John Maloney, Bjorn Freeman-Benson, and Alan Borning. Multi-way versus one-way constraints in user interfaces: Experience with the DeltaBlue algorithm. Software—Practice and Experience, 23(5):529–566, May 1993.

    Google Scholar 

  10. Ivan Sutherland. Sketchpad: A Man-Machine Graphical Communication System. PhD thesis, Department of Electrical Engineering, MIT, January 1963.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, University of Washington, Box 352350, 98195-2350, Seattle, Washington, USA

    Alan Borning

  2. Object Technology International Inc., R. Buckminster Fuller Laboratory, 201-506 Fort St., V8W 1E6, Victoria, B.C., Canada

    Bjorn N. Freeman-Benson

Authors
  1. Alan Borning
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bjorn N. Freeman-Benson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ugo Montanari Francesca Rossi

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Borning, A., Freeman-Benson, B.N. (1995). The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces. In: Montanari, U., Rossi, F. (eds) Principles and Practice of Constraint Programming — CP '95. CP 1995. Lecture Notes in Computer Science, vol 976. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60299-2_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-60299-2_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60299-6

  • Online ISBN: 978-3-540-44788-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation