×
乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。

将补偿处理的原语作为可适应的进程。 （英语） Zbl 1518.68231号

J.日志。阿尔盖布。方法程序。 121，文章ID 100675，65 p.（2021）.
总结：机制补偿处理和动态更新在可靠通信系统的规范中越来越重要。补偿和更新在直觉上是相似的：两者都指定并发系统的行为在运行时如何更改以响应异常事件。然而，具有补偿和更新的并发计算在技术上是完全不同的。
我们将并发计算与补偿处理和动态更新进行了比较相对表现力我们将带有补偿处理的进程演算的两种编码发展为可适应进程演算。这些编码在所考虑的目标语言中不同：第一种考虑具有主观更新直觉上，流程会重新配置自身；第二种考虑目标更新流程在其上下文中被流程重新配置。我们的主要发现是主观更新更多有效率的与用于补偿处理的编码原语中的目标编码相比：第一种编码需要的计算步骤少于第二种编码，以便在可补偿过程的源语言中模拟单个计算步骤。我们的编码满足强正确性标准；它们揭示了薪酬处理的复杂语义。

引用于1文件

MSC公司：

第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

并发;过程结石;相对表现力;补偿处理;动态更新
PDF格式BibTeX公司 XML格式引用
\textit{J.Dedeić}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100675，65 p.（2021；Zbl 1518.68231）
全文： 内政部 链接

参考文献：

[1] S.Alves，A.Arkin，S.Askary，C.Barreto，B.Bloch，F.Curbera，M.G.Ford，Y.Goland，A.Guzar，N.Kartha，C.K.Liu，R.Khalaf，D.König，M.Marin，V.Mehta，S.Thatte，D.Rijn，P.Yendluri，A.Yiu，Web服务业务流程执行语言版本2.0（oasis标准）。2007
[2] Bocchi，L。；Laneve，C。；Zavattaro，G.，长期事务的微积分，（FMOODS 2003年出版。程序。FMOODS 2003，LNCS，第2884卷（2003），Springer），124-138·Zbl 1253.68056号
[3] 布拉维蒂，M。；Giusto，C.D。；佩雷斯，J.A。；Zavattaro，G.，《适应性流程》，Log。方法计算。科学。，8, 4 (2012) ·Zbl 1253.68237号
[4] 布拉维蒂，M。；Zavattaro，G.，《关于过程中断和补偿的表现力》，《数学》。结构。计算。科学。，19, 3, 565-599 (2009) ·Zbl 1186.68317号
[5] 巴特勒，M.J。；费雷拉，C。；Ng，M.Y.，补偿商业交易的精确建模及其在BPEL中的应用，J.Univers。计算。科学。，11, 5, 712-743 (2005)
[6] Caires，L。；费雷拉，C。；Vieira，H.T.，补偿的过程微积分分析，（TGC 2008年出版。程序。TGC 2008，LNCS，第5474卷（2009），Springer），87-103
[7] Cardelli，L。；Gordon，A.D.，《移动环境》，Theor。计算。科学。，240, 1, 177-213 (2000) ·Zbl 0954.68108号
[8] 卡斯塔尼亚，G。；维泰克·J。；Nardelli，F.Z.，《密封演算》，Inf.Comput。，201, 1, 1-54 (2005) ·Zbl 1101.68060号
[9] Dedeic，J。；潘托维奇，J。；Pérez，J.A.，《补偿原语作为适应性过程》（EXPRESS/SOS 2015）。EXPRESS/SOS 2015，EPTCS，第190卷（2015）），16-30·Zbl 1476.68171号
[10] Dedeić，J。；潘托维奇，J。；Pérez，J.A.，通过主观更新进行有效补偿处理，（应用计算研讨会论文集。应用计算研讨会文献集，SAC’17，美国纽约州纽约市（2017），ACM），51-58
[11] 费雷拉，C。；拉内斯，我。；拉瓦拉，A。；维埃拉，H.T。；Zavattaro，G.，《服务组合和交易的高级机制》，（SENSORIA的结果，SENSORIA的结果，LNCS，第6582卷（2011年），Springer），302-325
[12] Gorla，D.，《过程计算可编码性和分离结果的统一方法》，Inf.Comput。，208, 9, 1031-1053 (2010) ·Zbl 1209.68336号
[13] 希尔德布兰特，T.T。；Godskesen，J.C。；Bundgaard，M.，《Homer的互模拟同余-高阶移动嵌入式资源演算》（2004），IT大学，技术报告TR-2004-52
[14] Hoare，C.A.R.，《通信顺序过程》（1985），Prentice-Hall·Zbl 0637.68007号
[15] 拉内塞，I。；瓦兹，C。；Ferreira，C.，《关于补偿处理原语的表达能力》，（2010年《员工持股计划汇编》）。程序。2010年ESOP，LNCS，第6012卷（2010），Springer），366-386·Zbl 1260.68102号
[16] 拉内斯，我。；Zavattaro，G.，补偿处理器动态安装的可决定性结果，（协调。协调，LNCS，第7890卷（2013），Springer），136-150
[17] Laneve，C。；Zavattaro，G.，《网络交易基础》（FOSSACS Proc.2005）。程序。FOSSACS 2005，LNCS，第3441卷（2005），Springer），282-298·Zbl 1118.68335号
[18] Milner，R.，《通信与并发》，计算机科学PHI系列（1989），Prentice-Hall·Zbl 0683.68008号
[19] 米尔纳，R。；鹦鹉，J。；Walker，D.，《移动进程演算》，I，Inf.Compute。，100，1，1-40（1992年）·Zbl 0752.68036号
[20] Parrow，J.，过程代数的表达性，（LIX并发理论新兴趋势座谈会论文集。LIX并行理论新兴趋势学术讨论会论文集，LIX 2006。LIX并行理论新兴趋势座谈会论文集。LIX并发理论新兴趋势座谈会论文集，LIX 2006，理论计算机科学电子笔记，第209卷（2008）），173-186·Zbl 1279.68264号
[21] Peters，K.，《使用编码比较过程计算》（Pérez，J.A。；Rot，J.，《Proceedings Combined 26 International Workshop on Expressiveity in Concurrency and 16th Workshop onStructural Operational Semantics》。《第26届并发表达性国际研讨会和第16届结构化操作语义研讨会论文集》，EXPRESS/SOS 2019，荷兰阿姆斯特丹，2019年8月26日。论文集包括第26届并发表达性国际研讨会和第16届结构操作语义学研讨会。《第26届并发表达性国际研讨会和第16届结构化操作语义研讨会论文集》，EXPRESS/SOS 2019，荷兰阿姆斯特丹，2019年8月26日，EPTCS，第300卷（2019），19-38·Zbl 07449992号
[22] Sangiorgi，D.，在过程代数中表达迁移：一阶和高阶范式（1992），爱丁堡大学，博士论文
[23] 施密特，A。；Stefani，J.，凯尔微积分：一个高阶分布过程微积分家族，（Priami，C。；Quaglia，P.，全球计算，IST/FET国际研讨会。全球计算，IST/FET国际研讨会，GC 2004，Rovereto，意大利，2004年3月9日至12日，修订论文集。全球计算、IST/FET国际研讨会。全球计算，IST/FET国际研讨会，GC 2004，Rovereto，意大利，2004年3月9日至12日，修订论文选集，计算机科学讲稿，第3267卷（2004），Springer），146-178·Zbl 1111.68547号
[24] 瓦兹，C。；Ferreira，C.，《关于补偿正确性的分析》，J.Log。代数程序。，81, 5, 585-605 (2012) ·Zbl 1246.68100号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。