论文标题
具有有限域约束增强的电子表格计算
Spreadsheet computing with Finite Domain Constraint Enhancements
论文作者
论文摘要
电子表格计算是当今现代社会中最受欢迎的计算方法之一。电子表格应用程序的易用性和实用性使非程序员能够在以“笔和纸”方式建模的熟悉设置中执行类似编程的任务。但是，由于其单向数据流，电子表格应用程序仅限于类似簿记的任务。本文证明了电子表格计算范式在克服这一限制以解决约束满意度问题时的扩展。我们提出了一个框架，将有限约束求解器与电子表格计算范式合并在一起。该框架允许电子表格中的单个单元格连接到有限域或指定单元格之间关系的约束。该框架提供了解决约束解决的接口，并通过提供一组特定于电子表格的约束来帮助控制大型电子表格应用程序实现的可扩展性，从而进一步增强了电子表格计算范例。最后，我们提供了示例来证明扩展电子表格范式的可用性和实用性。 关键字：电子表格计算，约束逻辑编程，约束满意度，特定于领域的语言，Excel，SWI Prolog，C＃
Spreadsheet computing is one of the more popular computing methodologies in today's modern society. The spreadsheet application's ease of use and usefulness has enabled non-programmers to perform programming-like tasks in a familiar setting modeled after the tabular "pen and paper" approach. However, spreadsheet applications are limited to bookkeeping-like tasks due to their single-direction data flow. This thesis demonstrates an extension of the spreadsheet computing paradigm in overcoming this limitation to solve constraint satisfaction problems. We present a framework seamlessly incorporating a finite constraint solver with the spreadsheet computing paradigm. This framework allows the individual cells in the spreadsheet to be attached to either a finite domain or a constraint specifying the relationship among the cells. The framework provides an interface for constraint solving and further enhances the spreadsheet computing paradigm by providing a set of spreadsheet-specific constraints that will aid in controlling the scalability of large spreadsheet applications implementations. Finally, we provide examples to demonstrate the usability and usefulness of the extended spreadsheet paradigm. Keywords: Spreadsheet computing, Constraint Logic Programming, Constraint satisfaction, Domain-Specific language, Excel, SWI Prolog, C#
