×
刘熙;杨绍发;J.W.桑德斯。

设计补偿。 （英语） Zbl 1342.68136号

正式Asp。计算。 26，第4623-676号（2014年）.

MSC公司：

2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

服务计算;长时间运行的事务;补偿;时间逻辑

软件：

Z轴
PDF格式BibTeX公司 XML格式引用
\textit{X.Liu}等人，正式Asp。计算。26，第4号，623--676（2014；Zbl 1342.68136）
全文： DOI程序

参考文献：

[1] Bruni R、Butler MJ、Ferreira C、Hoare CAR、Melgratti HC、Montanari U（2005）《可补偿流量构成的两种方法比较》。摘自：《国际会议并发理论会议录》（CONCUR’05），美国加利福尼亚州旧金山，2005年8月23日至26日，第383-397页·Zbl 1134.68316号
[2] Butler M，Ferreira C（2004）StAC的操作语义，StAC是一种建模长期运行的业务事务的语言。《协调模型和语言》（Coordination'04），计算机科学课堂讲稿第2949卷。柏林施普林格·兹比尔1081.68643
[3] Butler M、Ferreira C、Ng MY（2005）补偿商业交易的精确建模及其在BPEL中的应用。大学计算科学杂志11（5）：712-743
[4] Butler M、Hoare CAR、Ferreira C（2004）长期运行事务的跟踪语义。在25年的通信顺序过程中，柏林施普林格，第133-150页·Zbl 1081.68644号
[5] Bhattacharya K，Hull R，Su J（2009）《以数据为中心的业务流程设计方法》。In:《业务流程建模研究手册》，IGI Global，Hershey，2009年，第503-531页
[6] Bruni R，Melgratti HC，Montanari U（2004）Flat committed join in join。计算机科学电子笔记104:39-59·Zbl 1271.68170号 ·doi:10.1016/j.entcs.2004.09.021
[7] Bruni R，Melgratti HC，Montanari U（2005），流合成语言中补偿的理论基础。摘自：2005年1月12日至14日在美国加利福尼亚州长滩举行的ACM编程语言原则研讨会（POPL'05）会议记录，第209-220页·Zbl 1369.68070号
[8] Butler MJ，Ripon S（2005）《补偿CSP的可执行语义》。摘自：《计算机系统和业务流程正式技术会议录》，法国凡尔赛，2005年9月1日至3日，第243-256页
[9] Coleman JW（2005）研究BPEL的薪酬结构。摘自：容错系统严格工程研讨会论文集（REFT），2005年，第122-128页
[10] Donnelly K，Fluet M（2008）《交易事件》。J功能程序18（5-6）：649-706·Zbl 1155.68356号 ·网址：10.1017/S0956796808006916
[11] De Vries E、Koutavas V、Hennessy M（2010）《沟通交易》。在：CONCUR 2010并发理论，计算机科学讲义第6269卷，施普林格，柏林，第569-583页·Zbl 1287.68018号
[12] De Vries E、Koutavas V、Hennessy M（2010）《沟通交易的活力》（扩展摘要）。摘自：《编程语言与系统》，计算机科学课堂讲稿第6461卷，施普林格，柏林，2010年，第392-407页·Zbl 1287.68018号
[13] de Moura L、Owre S、RueßH、Rushby J、Shankar N、Sorea M、Tiwari A（2004）SAL 2。In:计算机辅助验证（CAV’04），计算机科学课堂讲稿第3114卷，柏林/海德堡施普林格，第251-254页
[14] de Moura L，Shankar N（2003）SAL语言手册。技术报告SRI-CSL-01-02（版本02），SRI国际，2003年
[15] Fielding RT（2000）架构风格和基于网络的软件架构设计。加州大学欧文分校博士论文
[16] Fielding RT，Taylor RN（2002）《现代网络架构的原则设计》。ACM Trans Internet Technol 2（2）：115-150·数字标识代码：10.1145/514183.514185
[17] Greenfield P，Fekete A，Jang J，Kuo D（2003）补偿是不够的。摘自：《企业分布式对象计算国际会议论文集》（EDOC'03），澳大利亚布里斯班，2003年9月，第232-239页
[18] Garcia-Molina H，Salem K（1987）萨加斯。摘自：1987年ACM SIGMOD国际数据管理会议记录（SIGMOD'87），加利福尼亚州旧金山，第249-259页
[19] Gray J，Reuter A（1993），事务处理：概念和技术。圣马特奥摩根考夫曼出版社·Zbl 0781.68006号
[20] 何J（2007）《web服务的UTP语义》。摘自：2007年7月2日至5日在英国牛津举行的综合形式方法国际会议（IFM'07）的会议记录，柏林斯普林格，第353-372页·Zbl 1213.68111号
[21] 何J（2008）交易演算。摘自：IEEE高保证系统工程研讨会（HASE’08）会议记录，中国南京，第4页
[22] Korth HF，Levy E，Silberschatz A（1990）《通过补偿交易进行恢复的正式方法》。收录：《超大数据库国际会议（VLDB’90）论文集》，澳大利亚布里斯班，第95-106页
[23] Kopp O、Mietzner R、Leymann F（2009）《外部交易对BPEL范围的影响》。摘自：《走向有意义的互联网系统》（OTM’09），计算机科学第5870卷讲稿，柏林/海德堡施普林格，2009年，第381-388页
[24] 廖J，谭H，刘J-D（2005）用像素描述和验证web服务。Chin J计算28（4）：635-642
[25] Li J，Zhu H，He J（2007）《可补偿交易的代数语义》。在：《计算理论方面国际会议论文集》（ICTAC'07），2007年，第306-321页·Zbl 1147.68564号
[26] Mendling J，Nüttgens M（2006）EPC标记语言（EPML）：事件驱动流程链（EPC）的基于XML的交换格式。信息系统电子总线管理4:245-263·doi:10.1007/s10257-005-0026-1
[27] Mendling J，Simon C（2006）《通过视图集成进行业务流程设计》。参加：《业务流程管理研讨会》，计算机科学第4103卷讲稿，施普林格，柏林/海德堡，2006年，第55-64页
[28] OASIS Web服务业务流程执行语言（WSBPEL）TC（2007）Web服务业务流程执行语言2.0版。2007年OASIS标准
[29] OASIS Web服务事务（WS-TX）TC（2009）Web服务原子事务（WS-AtomicTransaction）版本1.2.，2009
[30] OASIS Web服务事务（WS-TX）TC（2009）Web服务业务活动（WS-BusinessActivity）1.2版。2009年OASIS标准
[31] OASIS Web服务事务（WS-TX）TC（2009）Web服务协调（WS-coordination）1.2版，OASIS标准，2009
[32] Pottinger S、Mietzner R、Leymann F（2007）通过扩展WS-business活动框架来协调BPEL范围和流程。摘自：《OTM联合会关于向有意义的互联网系统迈进的国际会议记录》，柏林/海德堡施普林格，2007年，第336-352页
[33] Pnueli A（1977）程序的时序逻辑。摘自：《计算机科学基础年度研讨会论文集》，IEEE计算机社会出版社，洛斯阿拉米托斯，第46-57页
[34] Peled D，Pelliccione P，Spoletini P（2009）模型检查。威利计算机科学与工程百科全书，威利，奇切斯特
[35] 邱Z，王S，蒲G，赵X（2005）BPEL4WS类故障语义与补偿处理。收录于：FM 2005：形式方法，计算机科学课堂讲稿第3582卷，施普林格，柏林/海德堡，2005，第350-365页·Zbl 1120.68324号
[36] Ripon S，Butler MJ（2010）《推导语义模型之间的关系——cCSP的一种方法》。CoRR，abs/1002.33302010年
[37] Ripon S，Butler MJ（2010）在PVS中形式化cCSP同步语义。CoRR，abs/1001.34642010年
[38] Sun C-A、el Khoury E、Aiello M（2010）《面向服务系统中的事务管理：要求和建议》。IEEE Trans-Serv Compute，99（预印本），2010年·Zbl 1271.68170号
[39] Sauter P，Melzer I（2005）《WS-business活动与BPEL4WS长时间运行事务的比较》。收录：verteilten系统中的Kommunikation（KiVS），Informatik aktuell，Springer，Berlin，2005年，第115-125页
[40] Spivey JM（1992）Z符号：参考手册。恩格尔伍德悬崖普伦蒂斯·霍尔第二版·Zbl 0777.68003号
[41] Smith G，Wildman L（2005）使用SAL检查Z规范的模型。In:Z和B（ZB'03）中的形式规范和开发，计算机科学课堂讲稿第3455卷，柏林/海德堡斯普林格，2005年，第85-103页·Zbl 1118.68553号
[42] Wang R，Salzberg B，Lomet D（2010），基于日志的中间件服务器恢复，具有事务支持。VLDB期刊：1-24
[43] Zhang Y，Liu J，Tang Q，Wu Y（2011）用时间pi演算建模web服务组合。信息技术期刊10（6）：1194-1200·doi:10.3923/itj.2011.1194.1200
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。