金·万豪酒店;尼古拉斯·奈瑟科特;雷扎·拉斐;彼得·斯图基（Peter J.Stuckey）。;玛丽亚·加西亚·德拉班达;马克·华莱士 锌建模语言的设计。 （英语） Zbl 1146.68352号 约束条件 13，第3号，229-267（2008）. 摘要：锌是作为G12项目的一部分开发的一种新的建模语言。它有四个重要特征。首先，Zin允许使用类似于自然数学的符号来规范模型。为此，它支持重载函数和谓词以及自动强制，并提供算术、有限域和集合约束。第二，虽然Zin是一种相对简单且较小的语言，但它可以通过强大的语言构造（如用户定义的谓词和函数以及约束类型）轻松扩展到不同的应用领域。第三，Zin提供了复杂的类型和实例化检查，允许早期检测模型中的错误。最后，锌的主要新颖之处可能是，它的设计支持一种建模方法，在这种方法中，相同的概念模型可以自动映射到不同的设计模型，从而允许建模者轻松地使用不同的解决技术“即插即用”，从而选择最适合该问题的方法。我们详细描述了锌的各种语言特性以及我们在其设计中面临的许多权衡。 引用于26文件 MSC公司： 68甲15 编程语言理论 关键词：语言设计;建模;CSP公司;优化;约束编程 软件：CSPLib数据库;水银;彗星;锌;本质;AMPL公司;十二国集团;ESRA公司 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}等人，《限制条件》13，第3期，229--267（2008；Zbl 1146.68352） 全文： 内政部 参考文献： [1] Apt，K.和Wallace，M.（2007）。使用ECLiPSe进行约束逻辑编程。剑桥：剑桥大学出版社·Zbl 1119.68044号 [2] 鲍恩，J.P.（1996）。使用Z的正式规范和文档：案例研究方法。波士顿：国际汤姆逊计算机出版社。 [3] Brand，S.、Naroditskaya，N.、Quimper，C.-G.、Stuckey，P.J.和Walsh，T.（2007年）。序列常量的编码。在美国罗德岛州普罗维登斯举行的第13届约束规划原理与实践国际会议（CP2007）的会议记录中（9月）。 [4] Demoen，B.、García de la Banda，M.、Harvey，W.、Marriott，K.和Stuckey，P.J.（1999）。HAL概述。Jaffar，J.（编辑），《第四届约束规划原则和实践国际会议论文集》，LNCS，（第174–188页）。纽约：斯普林格·Zbl 1083.68019号 [5] DIMACS，（1993年）。可满足性建议格式。ftp://dimacs.rutgers.edu/pub/challenge/satisfability/doc . [6] Flener，P.、Pearson，J.和O.gren，M.（2003）。介绍ESRA，一种用于建模组合问题的关系语言。LOPSTR，基于逻辑的程序合成和转换国际研讨会，（第214-232页）·Zbl 1099.68543号 [7] Fourer，R.、Gay，D.M.和Kernighan，B.W.（2002年）。AMPL：数学编程的建模语言。太平洋格罗夫：达克斯伯里出版社·Zbl 0701.90062号 [8] Frisch，A.、Grum，M.、Jefferson，C.、Martinez Hernandez，B.和Miguel，I.（2007年）。ESSENCE的设计：用于指定组合问题的约束语言。程序中。第20届国际人工智能联合会议。 [9] Frisch，A.M.、Jefferson，C.、Martinez Hernandez，B.和Miguel，I.（2005年）。约束建模规则。IJCAI第19号公报（第109-116页）。 [10] Frisch，A.M.、Harvey，W。、Jefferson，C。、Martnez-Hernández，B。和Miguel，I。（2008）。本质：用于指定组合问题的约束语言。约束（本期）·Zbl 1147.68424号 [11] Gervet，C.（2001）。大规模组合优化：一种方法论观点。DIMACS离散数学和理论计算机科学，57，151-174·Zbl 0983.90040号 [12] Hakin，A.（1985）。难以解决的问题。理论计算机科学，39，297–308·Zbl 0586.03010号 ·doi:10.1016/0304-3975（85）90144-6 [13] Hnich，B.，Miguel，I.，Gent，I.P.和Walsh，T.CSPLib：约束的问题库。网址：http://www.csplib.org/ . [14] Jayaraman，B.和Tambay，P.（2002年）。使用约束对象建模工程结构。在PADL中，（第28-46页）·Zbl 1049.68689号 [15] Kallrath，J.（2004）。数学优化中的建模语言。诺威尔：克鲁沃·邮编：1049.90002 [16] Lauriere，J-L.（1978年）。艾丽斯：一种描述和解决组合问题的语言和程序。人工智能，10（1），29–127·Zbl 0374.68060号 ·doi:10.1016/0004-3702（78）90029-2 [17] Marriott，K.、Stuckey，P.J.和Wallace，M.（2006年）。约束逻辑编程。在《约束编程手册》（第409-452页）中。阿姆斯特丹：爱思唯尔。 [18] Murtagh，B.A.（1981年）。高级线性规划（第163-170页）。哥伦布：麦格劳·希尔。 [19] Rafeh，R.、Garcia de la Banda，M.J.、Marriott，K.和Wallace，M.（2007）。从锌到设计模型。程序中。PADL 2007 LNCS第4354号（第215–229页）。纽约：斯普林格·Zbl 1146.68352号 [20] Schneider，S.（2001）。B方法：简介。计算的基石。汉普郡：帕尔格雷夫。 [21] 使用AMPL的解算器。http://www.ampl.com/solvers.html . [22] Somogyi，Z.、Henderson，F.和Conway，T.（1996）。Mercury的执行算法：一种高效的纯声明逻辑编程语言。逻辑编程杂志，29（1-3），17-64·Zbl 0877.68015号 ·doi:10.1016/S0743-1066（96）00068-4 [23] Stefik，M.（1981）。有约束的规划（MOLGEN：第1部分）。人工智能，16111-139·doi:10.1016/0004-3702（81）90007-2 [24] Stuckey，P.J.，García de la Banda，M.J.、Maher，M.J、Marriott，K.、Slaney，J.K、Somogyi，Z.等人（2005年）。G12项目：将独立于求解器的模型映射到高效的解决方案。在CP中，（第13-16页）·Zbl 1165.68517号 [25] Van Hentenryck，P.、Lustig，I.、Michel，L.A.和Puget，J.-F.（1999）。OPL优化编程语言。剑桥：麻省理工学院出版社。 [26] Van Hentenryck，P.&Michel，L.（2005）。基于约束的本地搜索。剑桥：麻省理工学院出版社·Zbl 1153.90582号 [27] Wallace，M.、Novello，S.和Schimpf，J.（1997）。ECLiPSe–约束编程平台。ICL系统杂志，12（1），159-200。 [28] Weisstein，E.W.（1999）。完美的方形切割。来自MathWorld–Wolfram Web资源。http://mathworld.wolfram.com/PerfectSquareDissection.html . [29] 约曼斯，J.（2003）。使用电子表格优化解决爱因斯坦之谜。《教育信息汇刊》，3（2）。 [30] Yuen B.J.和Richardson K.V.（1995年）。建立下料问题的排序启发式的最优性。欧洲运筹学杂志，84，590-598·Zbl 0918.90125号 ·doi:10.1016/0377-2217（95）00025-L 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。