Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints
Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints
复制标题
多路局部传播约束的分析和调试层次结构
DOI：
10.1007/3-540-58601-6_90
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
M. Sannella
中科院分区：
文献类型：
--
作者：
M. Sannella
多路局部传播约束是实现图形用户界面等应用程序的强大而灵活的工具。SkyBlue是一个增量约束求解器，它使用局部传播来在添加和删除单个约束时维护一组约束。如果无法满足所有约束，则SkyBlue将不满足较弱的约束，以便满足较强的约束（维护约束层次）。我们的经验表明，大型约束网络可能难以构建和理解。为了研究这个问题，我们开发了CNV系统，用于交互式地构建基于约束的用户界面，并集成了用于显示和分析约束网络的工具。本文介绍了CNV的调试功能，并提出了一种新的算法，枚举所有的方式，天蓝色可以维护一组约束。
Multi-way local propagation constraints are a powerful and flexible tool for implementing applications such as graphical user interfaces. 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). Our experience has indicated that large constraint networks can be difficult to construct and understand. To investigate this problem, we have developed the CNV system for interactively constructing constraint-based user interfaces, integrated with tools for displaying and analyzing constraint networks. This paper describes the debugging facilities of CNV, and presents a new algorithm for enumerating all of the ways that SkyBlue could maintain a set of constraints.