Skyblue: a multi-way local propagation constraint solver for user interface construction Many user interface toolkits use constraint solvers to maintain geometric relationships between graphic objects, or to connect the graphics to the application data structures. One efficient and flexible technique for maintaining constraints is multi-way local propagation, where constraints are represented by sets of method procedures. To satisfy a set of constraints, a local propagation solver executes one method from each constraint.SkyBlue is an incremental constraint solver that uses local propagation to maintain a set of constraints as individual constraints are added and removed. If all of the constraints cannot be satisfied, SkyBlue leaves weaker constraints unsatisfied in order to satisfy stronger constraints (maintaining a constraint hierarchy). SkyBlue is a more general successor to the DeltaBlue algorithm that satisfies cycles of methods by calling external cycle solvers and supports multi-output methods. These features make SkyBlue more useful for constructing user interfaces, since cycles of constraints can occur frequently in user interface applications and multi-output methods are necessary to represent some useful constraints. This paper discusses some of applications that use SkyBlue, presents times for some user interface benchmarks and describes the SkyBlue algorithm in detail.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 11 articles )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Haveraaen, Magne; Järvi, Jaakko: Semantics of multiway dataflow constraint systems (2021)
  2. Yue Jiang, Wolfgang Stuerzlinger, Matthias Zwicker, Christof Lutteroth: ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints (2020) arXiv
  3. Jamil, Noreen; Müller, Johannes; Naeem, M. Asif; Lutteroth, Christof; Weber, Gerald: Extending linear relaxation for non-square matrices and soft constraints (2016)
  4. Wang, Bo; Xiong, Ying-Fei; Hu, Zhen-Jiang; Zhao, Hai-Yan; Zhang, Wei; Mei, Hong: Interactive inconsistency fixing in feature modeling (2014) ioport
  5. Semenov, V. A.; Dragalov, K. V.; Ilyin, D. V.: On complementary principles of object-oriented constraint programming (2010) ioport
  6. Lutteroth, Christof; Strandh, Robert; Weber, Gerald: Domain specific high-level constraints for user interface layout (2008)
  7. Henz, Martin; Yap, Roland H. C.; Lim, Yun Fong; Lua, Seet Chong; Walser, J. Paul; Shi, Xiao Ping: Solving hierarchical constraints over finite domains with local search (2004)
  8. Hosobe, Hiroshi; Matsuoka, Satoshi: A foundation of solution methods for constraint hierarchies (2003)
  9. Hosobe, Hiroshi: A scalable linear constraint solver for user interface construction (2000)
  10. Borning, Alan; Freeman-Benson, Bjørn: Ultraviolet: A constraint satisfaction algorithm for interactive graphics (1998)
  11. Takahashi, Shin; Matsuoka, Satoshi; Miyashita, Ken; Hosobe, Hiroshi; Kamada, Tomihisa: A constraint-based approach for visualization and animation (1998)