×
托姆·吕维思

约束处理规则中的并行性、并发性和分布：一项调查。 （英语） Zbl 1452.68042号

理论与实践。日志。程序。 18，编号5-6，759-805（2018）.
概要：约束处理规则（CHR）既是一种有效的并发声明性编程语言，又是一种通用的计算逻辑形式主义。在CHR中，受保护的反应规则重写了多组约束。并发性是固有的，因为规则可以并行应用于约束。在这一全面的调查中，我们概述了多年来在各种细化级别上提出的并发、并行和分布式CHR语义、标准和更奇特的语义。这些语义范围从抽象到具体。它们通过正式的稳健性结果相关联。它们的正确性被证明是并行计算和顺序计算之间的对应关系。在更实用的方面，我们给出了在实验和基准测试中广泛使用的通用简明示例CHR程序。我们回顾了软件和硬件中的并行和分布式CHR实现。实验结果表明，未经修改的顺序CHR程序具有并行加速能力。软件实现可以在线免费下载，我们提供了网络链接。由于CHR形式主义具有较高的抽象级别，因此也可以用于实现和分析并发模型。为此，软件事务模型、参与者模型、着色Petri网和联合演算都被忠实地编码在CHR中。最后，我们确定并讨论了所调查方法的共性，并指出了哪些问题有待进一步研究。

MSC公司：

68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68N17号 逻辑编程
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
2012年第68季度 语法和重写系统
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

平行度;并发;分布;约束处理规则;声明式编程;并发约束编程;语义学;重写;并发模型

软件：

瑞士法郎
PDF格式BibTeX公司 XML格式引用
\textit{T.Frühwirth}，理论与实践。日志。程序。18、编号5--6759--805（2018；Zbl 1452.68042）
全文： DOI程序 arXiv公司

参考文献：

[1] Abdennadher，S。；Frühwirth，T。；Maher，M.J。；Puget，J.-F.（1998）
[2] Abdennadher，S。；Frühwirth，T。；Jaffar，J.（1999）
[3] Abdennadher，S。；Frühwirth，T。；Bruynooghe，M.（2004）
[4] Abdennadher，S。；Frühwirth，T。；Meuss，H.，约束简化规则的汇合与语义，约束，4，2，133-165，（1999）·兹比尔0951.68070 ·doi:10.1023/A:1009842826135
[5] Agha，G.，《参与者：分布式系统中并发计算的模型》（Actors:A Model of Concurrent Computing in Distributed Systems），（1986年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州坎布里奇，美国
[6] Betz，H.（2007）
[7] Betz，H.，《约束处理规则的统一分析基础》（2014），BoD-Books on Demand
[8] Betz，H。；Raiser，F.公司。；Frühwirth，T.，约束处理规则的完整终止执行模型，逻辑编程理论与实践，10597-610，（2010）·Zbl 1205.68215号 ·文件编号：10.1017/S147106841000030X
[9] Cervesato，I。；Lam，E.S.L。；Elgazar，A.，《分散理解模式的舞蹈编纂》，113-129，（2016），Springer International Publishing：Springer国际出版公司，Cham
[10] 鸭子，G.J。；Stuckey，P.J。；加西亚·德拉班达，M。；Holzbaur，C。；Demoen，B。；Lifschitz，V.（2004）
[11] Fournet，C。；Gonthier，G.，The Join Calculus:A Language for Distributed Mobile Programming，268-332，（2002），施普林格柏林海德堡：施普林格德国海德堡，柏林·兹比尔1065.68071
[12] Frühwirth，T。；加布里埃利，M。；Gupta，G.（2005）
[13] Frühwirth，T。；Etalle，S.（2005）
[14] Frühwirth，T。；施里杰弗斯，T。；Frühwirth，T。；Leuven，K.U.，CHR’06，《从CHR中的union-find推导线性时间算法》，49-60，（2006），Comp部门。科学。
[15] Frühwirth，T.，约束处理规则（专著），（2009），剑桥大学出版社·Zbl 1182.68039号
[16] Frühwirth，T。；北巴西利亚德斯。；Gottlob，G。；萨德里，F。；Paschke，A。；Roman，D.，《规则技术：基础、工具和应用，约束处理规则——还有什么？》？，（2015），13-34，Springer International Publishing·doi:10.1007/978-3-319-21542-6
[17] Frühwirth，T.（2016）
[18] Frühwirth，T。；Holzbaur，C。；Buccafurri，F.（2003）
[19] Frühwirth，T。；Raiser，F.，《约束处理规则：编译、执行和分析》，（2011年），Books on Demand
[20] 加布里埃利，M。；Meo，M.C。；Taccella，P。；Wiklicky，H.，为CHR程序展开，逻辑编程理论与实践，15，3，1-48，（2013）
[21] Goldberg，A.V。；Tarjan，R.E.，最大流问题的新方法，J.ACM，35，4，921-940，（1988）·Zbl 0661.90031号 ·数字对象标识代码：10.1145/48014.61051
[22] Guerraoui，R。；卡帕尔卡，M.（2008）
[23] Holzbaur，C。；García De La Banda，M。；Stuckey，P.J。；Duck，G.J.，HAL中约束处理规则的优化编译，逻辑编程的理论与实践，5，4-5503-531，（2005）·Zbl 1104.68010号 ·文件编号：10.1017/S1471068405002413
[24] Jensen，K.，《彩色Petri网》，248-299，（1987），施普林格：施普林格，柏林，海德堡·Zbl 0632.68058号
[25] Lam，E.S。；Frühwirth，T。；Raiser，F.，《约束处理规则：编译、执行和分析》，《并发CHR》，第5章，121-155，（2018），Books on Demand
[26] Lam，E.S。；Cervesato，I.（2013）
[27] Lam，E.S。；Sulzmann，M.（2007）
[28] Lam，E.S。；Sulzmann，M.，基于目标的约束处理规则并发执行，逻辑编程理论与实践，11，841-879，（2009）·Zbl 1242.68051号
[29] Lam，E.S.L.（2011）
[30] Lam，E.S.L。；塞尔维萨托，I。；Fatima，N.（2015年）
[31] Meister，M.（2007）
[32] 梅斯特，M。；Frühwirth，T.（2007年）
[33] Raiser，F.公司。；Betz，H。；Frühwirth，T。；Raiser，F.公司。；斯奈尔斯，J.（2009）
[34] Raiser，F.公司。；Frühwirth，T。；Abdennadher，S.（2010年）
[35] Sarna Starosta，B.，基于约束的安全属性分析，（2008），VDM Verlag，Saarbr&#252；肯：VDM Verlag，Saarbr&#252；德国科恩
[36] Sarna-Starosta，B。；罗马克里希南，C。；Hanus，M.（2007）
[37] Sarna-Starosta，B。；斯特瓦尔特，R.E.K。；Dillon，L.K.，基于模型的验证设计方法，用于检查多线程应用程序中的死锁，《国际软件工程与知识工程杂志》，17，2207-230，（2007）·doi:10.1142/S0218140007003197
[38] 施里杰弗斯，T。；Sulzmann，M.（2008）
[39] 北沙维特。；Touitou，D.，软件事务内存，分布式计算，10，2，99-116，（1997）·Zbl 1448.68214号 ·doi:10.1007/s004460050028
[40] 斯奈尔斯，J.（2008）
[41] 斯奈尔斯，J。；施里杰弗斯，T。；Demoen，B.，约束处理规则的计算能力和复杂性，ACM TOPLAS，31，2，3-42，（2009）
[42] 斯奈尔斯，J。；Van Weert，P。；施里杰弗斯，T。；De Konink，L.，《随着时间的推移：约束处理规则——1998年至2007年间CHR研究的调查》，TPLP，10，1，1-47，（2010）·Zbl 1186.68096号
[43] 苏尔兹曼，M。；Chu，D.H。；Hanus，M.（2008）
[44] 苏尔兹曼，M。；Lam，E.S.（2007）
[45] 苏尔兹曼，M。；Lam，E.S。；Antoy，S.（2008）
[46] 苏尔兹曼，M。；Lam，E.S。；Van Weert，P。；李·D·。；Zavattaro，G.（2008）
[47] Tarjan，R.E。；Leeuwen，J.V.，集并算法的最坏情况分析，ACM杂志，31，2，245-281，（1984）·Zbl 0632.68043号 ·数字对象标识代码：10.1145/62.2160
[48] Triossi，A.（2011年）
[49] Triossi，A。；南奥兰多。；拉斐塔，A。；Frühwirth，T.（2012年）
[50] Van Weert，P.，《基于规则程序的高效惰性评估》，IEEE知识与数据工程汇刊，22，11，1521-1534，（2010）·doi:10.1109/TKDE.2009.208
[51] 扎基，A。；Frühwirth，T。；盖勒，I。；斯奈尔斯，J。；Frühwirth，T.（2012）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。