×
阿列克谢·莱斯卡伊勒;艾丽西亚·维拉纽埃娃

弥合两种并发约束语言之间的差距。 （英语） Zbl 1327.68056号

Mariño，Julio（编辑），功能和约束逻辑编程。2010年1月17日在西班牙马德里举行的2010年世界粮食计划署第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-20774-7/pbk）。计算机科学课堂讲稿6559155-173（2011）。
概要：并发约束范式（Concurrent Constraint Paradigm，简称cc）是一种简单且高度表达的形式主义，用于对代理异步执行的并发系统进行建模，并通过在全局存储中添加和咨询约束在代理之间进行交互。cc模型用商店约束的概念取代了商店价值的概念。有几种编程语言通过引入时间的概念来扩展cc模型。时间的概念使我们能够表示并发系统和反应系统。时间的不同定义使每种语言更适合于建模特定类型的应用程序（确定性嵌入式系统、非确定性反应系统等）。本文研究了通用时间并发约束语言（utcc）和时间并发约束语句（tccp）之间的关系。我们展示了如何通过保留原始行为的转换将utcc映射到tccp。我们还证明了转换的正确性。
关于整个系列，请参见[Zbl 1214.68016号].

引用于1文件

MSC公司：

68甲15 编程语言理论
68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

软件：

tccp公司;卢斯特
PDF格式BibTeX公司 XML格式引用
\textit{A.Lescaylle}和\textit{A.Villanueva}，莱克特。票据计算。科学。6559155--173（2011年；Zbl 1327.68056）
全文： DOI程序

参考文献：

[1] Alpuente，M.，Gallardo，M.M.，Pimentel，E.，Villanueva，A.：验证tcpp程序的实时属性。《通用计算机科学杂志》12（11），1551–1573（2006）
[2] Alpunte，M.、Gallardo，M.，Pimentel，E.、Villanueva，A.：tccp程序抽象模型检查的语义框架。理论计算机科学346（1），58–95（2005）·Zbl 1087.68053号 ·doi:10.1016/j.tcs.2005.08.009
[3] Boer，F.S.d.，Gabbrielli，M.，Meo，M.C.：一种时间并发约束语言。信息与计算161（1），45–83（2000）·Zbl 1046.68507号 ·doi:10.1006/inco.1999.2879
[4] Caspi，P.，Pilaud，D.，Halbwachs，N.，Plaice，J.A.：LUSTRE：实时编程的声明性语言。摘自：POPL 1987：第14届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录，第178-188页。ACM，纽约（1987）
[5] Gupta，V.，Saraswat，V.A.，Jagadeesan，R.：时间并发约束编程的基础。摘自：第九届IEEE计算机科学逻辑年会论文集，法国巴黎，第71-80页。IEEE计算机学会出版社，洛斯阿拉米托斯（1994年7月）·Zbl 0942.68539号
[6] Harel，D.，Pnueli，A.：关于反应系统的发展，第477-498页（1985年）·Zbl 0581.68046号
[7] Lescaylle，A.，Villanueva，A.：使用tccp规范和验证通信协议。摘自：第16届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2007）（2007）
[8] Lescaylle，A.，Villanueva，A.：声明范式中协议的验证和模拟。技术报告，DSIC，巴伦西亚政治大学（2008），http://www.dsic.upv.es/alescayle/files/dea-08.pdf
[9] Lescaille，A.，Villanueva，A.：tccp口译员。电子。注释Theor。计算。科学。 258(1), 63–77 (2009) ·Zbl 1294.68047号 ·doi:10.1016/j.entcs.2009.12.005
[10] Maraninchi，F.：同步自动机合成的操作和合成语义。收录：Cleaveland，W.R.（编辑）CONCUR 1992。LNCS，第630卷，第550-564页。斯普林格，海德堡（1992）·doi:10.1007/BFb0084815
[11] Nielsen，M.，Palamidessi，C.，Valencia，F.D.：时间并发约束编程：表示、逻辑和应用。北欧计算杂志9（1），145-188（2002）·Zbl 1018.68019号
[12] Nielsen，M.，Palamidessi，C.，Valencia，F.D.：关于时间并发约束编程语言的表达能力。载于：PPDP 2002:ACM SIGPLAN第四届声明性编程原则与实践国际会议记录，第156-167页。ACM，纽约（2002）
[13] Olarte，C.，Valencia，F.D.：通用定时CCP的表达：Monadic FLTL和安全闭包算子的不确定性。在：PPDP 2008：第10届ACM SIGPLAN国际会议关于声明性编程的原理和实践的会议记录，第8-19页。ACM，纽约（2008）
[14] Olarte，C.，Valencia，F.D.：通用并发约束编程：符号语义和安全应用。摘自：SAC 2008：2008年ACM应用计算研讨会论文集，第145-150页。ACM，纽约（2008）·doi:10.1145/1363686.1363726
[15] Saraswat，V.A.：并发约束编程语言。麻省理工学院出版社，剑桥（1993）
[16] Tini，S.：关于时间并发约束编程的表达性。收录：理论计算机科学电子学笔记，电子学（1999）·Zbl 0958.68044号 ·doi:10.1016/S1571-0661（05）80291-9
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。