罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 cJoin(加入):加入使用通信事务。 (英语) Zbl 1361.68060号 数学。结构。计算。科学。 25,第3期,566-618(2015). 摘要:本文提出了一种形式化的方法来设计和编程长时间运行的事务(轻轨)。我们利用过程计算中的技术来定义cJoin公司,这是Join演算的一个扩展,对于LRT来说,几乎没有规范的原语。中的事务处理cJoin(加入)旨在描述多个合作伙伴的事务交互,假设执行事务的任何合作伙伴只能与其他事务合作伙伴通信。在这种情况下,任何一方进行的交易都必然会取得相同的结果(即全部成功或全部失败)。因此cJoin(加入),已调用动态接合性是可以合并正在进行的事务以完成其任务,当发生这种情况时,要么全部成功,要么全部中止。此外,cJoin(加入)基于补偿,即通过执行用户定义的程序而不是提供自动回滚来恢复事务的部分执行。The expressiveness and generality ofcJoin(加入)是通过许多解决常见编程模式的示例演示。数学基础伴随着原型语言实现,它是乔坎尔编译器。 引用于1文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68N20型 编译与解释理论 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,数学。结构。计算。科学。25,第3号,566--618(2015;Zbl 1361.68060) 全文: 内政部 参考文献: [1] 数据库管理杂志,多数据库专刊7 pp 16–(1996) [2] 内政部:10.1145/356842.356845·数字对象标识代码:10.1145/356842.356845 [3] 内政部:10.1007/978-3-540-24634-3_15·doi:10.1007/978-3-540-24634-3_15 [4] 内政部:10.1007/978-3-540-68863-1_3·doi:10.1007/978-3-540-68863-1_3 [5] 内政部:10.1007/978-3-642-13464-7_8·doi:10.1007/978-3642-13464-78 [6] 88年VLDB会议记录第26页–(1988) [7] 内政部:10.1007/978-3-540-39958-2_9·doi:10.1007/978-3-540-39958-29 [8] 事务处理:概念和技术(1993)·Zbl 0781.68006号 [9] DOI:10.1016/0304-3975(92)90185-I·Zbl 0747.68013号 ·doi:10.1016/0304-3975(92)90185-I [10] DOI:10.1007/BF01277643·doi:10.1007/BF01277643 [11] 内政部:10.1007/3-540-57529-4_44·doi:10.1007/3-540-557529-4_44 [12] ACM数据管理特别利益小组年会会议记录第249页–(1987) [13] 数据库系统中的并发、控制和恢复(1987) [14] 内政部:10.1007/3-540-61604-7_67·doi:10.1007/3-540-61604-7_67 [15] DOI:10.1007/3-5440-47993-7_18·数字对象标识代码:10.1007/3-540-47993-7_18 [16] 96年POPL会议记录第372页–(1996) [17] 高级并行编程语言研究方向第93页–(1992) [18] 原子交易(1994) [19] 内政部:10.1145/360363.360369·Zbl 0341.68023号 ·doi:10.1145/360363.360369 [20] 90年VLDB会议记录第507页–(1990) [21] 数字对象标识码:10.1007/978-3-642-01364-5_7·doi:10.1007/978-3-642-01364-5_7 [22] 内政部:10.1145/103140.103145·doi:10.1145/103140.103145 [23] 数字对象标识码:10.1007/978-3-642-15375-4_39·Zbl 1287.68018号 ·doi:10.1007/978-3642-15375-4_39 [24] Springer Verlag计算机科学讲稿5474 pp 201–(2008) [25] Springer Verlag计算机科学讲稿3170 pp 293–(2004) [26] ASA/MA’99会议记录第22页–(1999) [27] 高级应用程序的数据库事务模型第515页–(1992) [28] DOI:10.1016/j.tcs.2003.09.014·Zbl 1071.68010号 ·doi:10.1016/j.tcs.2003.09.014 [29] 《现代数据库系统:对象模型、互操作性及超越》第592页–(1995) [30] 内政部:10.1007/978-3-642-00945-7_6·doi:10.1007/978-3-642-00945-7_6 [31] 内政部:10.1007/11423348_8·doi:10.1007/114233488 [32] 高级应用程序的事务模型第219页–(1992年) [33] DOI:10.1007/978-3-540-24634-3_9·doi:10.1007/978-3-540-24634-39 [34] 内政部:10.1016/0890-5401(92)90008-4·Zbl 0752.68036号 ·doi:10.1016/0890-5401(92)90008-4 [35] 内政部:10.1147/sj.414.0743·数字对象标识代码:10.1147/sj.414.0743 [36] 数字对象标识码:10.1007/11539452_30·doi:10.1007/11539452_30 [37] Springer Verlag计算机科学讲稿92(1980) [38] SAC会议记录2002第359页-(2002) [39] DOI:10.1017/S0960129504004189·Zbl 1085.68027号 ·doi:10.1017/S0960129504004189 [40] DOI:10.1016/j.entcs.2004.05.002·doi:10.1016/j.entcs.2004.05.002 [41] 2005年POPL会议记录第209页–(2005) [42] 1992年ACM SIGMOD国际数据管理会议记录第185页–(1992) [43] 2004年第三届IFIP-TCS会议记录第569页–(2004) [44] 爱思唯尔科学理论计算机科学电子笔记104 pp 39–(2003) [45] 内政部:10.1007/978-3-540-31982-5_18·doi:10.1007/978-3-540-31982-5_18 [46] 内政部:10.1007/3-540-45694-5_22·doi:10.1007/3-540-45694-5_22 [47] 内政部:10.1007/978-3-642-11957-6_20·Zbl 1260.68102号 ·doi:10.1007/978-3642-11957-6_20 [48] DOI:10.1007/978-3-642-28412-0_5·Zbl 1312.68126号 ·doi:10.1007/978-3642-28412-05 [49] 数字对象标识码:10.1007/978-3-642-15375-4_33·Zbl 1287.68137号 ·doi:10.1007/978-3-642-15375-433 [50] 内政部:10.1007/BF01277644·doi:10.1007/BF01277644 [51] 高级应用程序的数据库事务模型第265页–(1992) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。