迪米特里奥斯·库扎帕斯;吉田、Nobuko;胡雷蒙德;本田、高黑 关于异步事件会话语义。 (英语) Zbl 1361.68170号 数学。结构。计算。科学。 26,第2期,303-364(2016). 摘要:事件驱动编程是并发编程和基于通信编程的主要范例之一,在这种编程中,事件通常被检测为消息在异步通道上的到达。不幸的是,传统事件驱动编程的灵活性和性能以更复杂的程序为代价:低级API和事件驱动控制流的模糊化使得程序难以读取、写入和验证。{}本文介绍了一种带有会话类型的(pi)演算事件驱动的会话编程(称为ESP)并研究其行为理论。ESP模型的主要特征是异步、顺序保护消息传递、事件/消息到达的非阻塞检测和会话类型的动态检查。会话类型提供了正式的安全保障,例如通信和事件处理安全,以及克服现有事件驱动编程语言和技术问题的编程优势。新键入的为ESP模型开发的互模拟理论不同于标准的同步或异步互模拟,它捕获了基于会话的过程的语义本质。双相似性与还原闭合倒刺同余一致。{}我们通过两个关键用例展示了ESP和行为理论的特点和优点。首先,我们检查事件选择器的编码和语义行为,它是通用事件驱动系统的核心组件,为验证类型安全的事件驱动应用程序提供了核心结果。其次,我们研究了Lauer-Needham对偶,建立在选择器编码和互模拟理论的基础上,以证明从多线程到事件驱动的会话过程的系统转换是类型和语义保持的。 引用于7文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等) PDF格式BibTeX公司 XML格式引用 \textit{D.Kouzapas}等人,数学。结构。计算。科学。26,第2号,303--364(2016;Zbl 1361.68170) 全文: 内政部 参考文献: [1] DOI:10.1007/978-3-642-28869-2_27·Zbl 1352.68189号 ·doi:10.1007/978-3-642-28869-2_27 [2] 计算机科学中的数学结构6 pp 409–(1996) [3] 内政部:10.1016/0890-5401(92)90008-4·兹伯利0752.68036 ·doi:10.1016/0890-5401(92)90008-4 [4] 通信系统微积分(1980)·Zbl 0452.68027号 [5] DOI:10.4204/EPTCS.41.7·doi:10.4204/EPTCS.41.7 [6] 编程语言原理'08第273页–(2008)·Zbl 1193.68066号 [7] 《程序设计语言与系统学报》29页第81页–(2007年) [8] 内政部:10.1016/0304-3975(95)00074-7·兹伯利0871.68122 ·doi:10.1016/0304-3975(95)00074-7 [9] Springer计算机科学讲稿1381 pp 22–(1998) [10] DOI:10.1007/BFb0057019·doi:10.1007/BFb0057019 [11] 内政部:10.1016/j.tcs.2010.09.010·兹比尔1207.68222 ·doi:10.1016/j.tcs.2010.09.010 [12] 分布式Pi-Calculus(2007)·Zbl 1125.68082号 [13] 数字对象标识码:10.1007/978-3-642-15375-4_16·Zbl 1287.68125号 ·doi:10.1007/978-3642-15375-4_16 [14] SOSP’01会议记录第230页–(2001) [15] 数字对象标识码:10.1017/S09567968099990268·Zbl 1185.68194号 ·doi:10.1017/S09567968099990268 [16] DOI:10.1016/S0304-3975(99)00227-3·Zbl 0954.68092号 ·doi:10.1016/S0304-3975(99)00227-3 [17] 2003年SOSP会议记录第268页–(2003) [18] DOI:10.1007/978-3-540-72952-5_1·Zbl 1202.68094号 ·doi:10.1007/978-3-540-72952-5_1 [19] 内政部:10.1007/3-540-63165-8_188·Zbl 1401.68232号 ·doi:10.1007/3-540-63165-8_188 [20] 内政部:10.1007/978-3-540-85361-9_33·兹比尔1160.68456 ·doi:10.1007/978-3-540-85361-9_33 [21] 2009年《声明式编程的原理与实践》第219页–(2009) [22] 内政部:10.1007/978-3-540-68679-8_29·Zbl 1143.68470号 ·doi:10.1007/978-3-540-68679-8_29 [23] 内政部:10.1007/3-540-58184-7_118·doi:10.1007/3-540-58184-7_118 [24] 内政部:10.1007/978-3642-04081-8_15·Zbl 1254.68163号 ·doi:10.1007/978-3642-04081-8_15 [25] 内政部:10.1145/306225.306234·doi:10.1145/306225.306234 [26] 数字对象标识码:10.1017/S095679680000126X·Zbl 0819.68142号 ·doi:10.1017/S095679680000126X [27] DOI:10.1145/103135.103138·数字对象标识代码:10.1145/103135.103138 [28] 内政部:10.1145/1273442.1250756·doi:10.1145/1273442.1250756 [29] SIGOPS操作系统评论13 pp 3–(1979) [30] 内政部:10.1007/978-3642-21461-5_15·doi:10.1007/978-3642-21461-5_15 [31] 内政部:10.1007/978-3-540-70592-5_22·doi:10.1007/978-3-540-70592-5_22 [32] 数字对象标识码:10.1007/978-3-642-14107-2_16·doi:10.1007/978-3-642-14107-2_16 [33] 类型和编程语言(2002) [34] 内政部:10.1007/978-3-642-02273-9_16·Zbl 1246.68069号 ·doi:10.1007/978-3-642-02273-9_16 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。