Mixing Constraints and Objects: a Case Study in Automatic Harmonization
Mixing Constraints and Objects: a Case Study in Automatic Harmonization
复制标题
混合约束和对象：自动协调的案例研究
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
F. Pachet
中科院分区：
文献类型：
--
作者：
F. Pachet
我们提出了一个扩展的Smalltalk有限域约束坐isfact离子机制。我们的系统，称为BackTalk，允许定义任意Smalltalk对象的约束，并实现了有效的算法约束满意度。我们在一个复杂的自动协调问题上使用BackTalk。我们概述了几个以前的尝试，以解决类似的机制的问题，并强调其效率低下，主要是缺乏域对象的结构。我们建议解决问题的约束和对象，充分受益于对象结构的组合。在实践中，这是通过将约束满足过程分为两个步骤来实现的。相比之下，我们的系统在效率和可读性方面都取得了很好的效果。我们讨论了我们的方法，涉及众多和异构的对象结构的问题的一般性。关键词：约束，有限域约束满足，嵌入式约束系统，自动协调。1.另一个对象+约束
We propose an extension of Smalltalk with f ini te-domain constraint sat isfact ion mechanisms. Our system, called BackTalk, allows the definition of constraints over arbitrary Smalltalk objects, and implements efficient algorithms for constraints satisfaction. We exemplify the use of BackTalk on a problem known to be complex, automatic harmonization. We outline several previous attempts to solve the problem with similar mechanisms, and stress on their inefficiencies, mainly the lack of structure of domain objects. We propose to solve the problem by a combination of constraints and objects that fully benefits from object structures. This is achieved in practice by separating the constraint satisfaction process in two steps. By comparison, our system yields excellent results, both in term of efficiency and readability. We discuss the generality of our approach to problems involving numerous and heterogeneous object structures. Key-words: constraints, finite-domain constraint satisfaction, embedded constraint systems, automatic harmonization. 1. Yet an other object + constraint