×

探索编舞和编配与异常处理和终结/补偿之间的联系。 (英语) Zbl 1215.68152号

Derrick,John(编辑)等人,《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73195-5/pbk)。计算机科学课堂讲稿4574,81-96(2007)。
概要:Web服务编排描述了多方协作的协议,而编排侧重于单个对等点。编排的一个关键需求是支持事务,这使得异常处理和终结在编排建模中非常重要。投影是一个采用编排并在编排级别生成一组流程的过程。给定一个编排,如何投影异常处理和终结构造仍然是一个公开的问题。本文旨在从投影的角度研究编舞中的异常处理和事务性。我们提出了具有跟踪语义的编舞和编配的形式化语言,以及基于编舞和范围之间的关系的投影,这些关系分别植根于WS-CDL和WS-BPEL。
关于整个系列,请参见[Zbl 1119.68006号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
64岁以下 分布式系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] SOAP服务描述语言,http://ssdl.org
[2] Web服务编排描述语言1.0版(2005),http://www.w3.org/TR/2005/CR-ws-cdl-10-200051109/
[3] web服务的业务流程执行语言1.1版(2003年5月),http://www-106.ibm.com/developerworks/webservices/library/ws-bpel
[4] Baldoni,M.,Badoglio,C.,Martelli,A.,Patti,V.,Schifanella,C.:验证web服务与全球交互协议的一致性:第一步。收录:Bravetti,M.、Kloul,L.、Zavataro,G.(编辑)《计算机系统和业务流程的形式化技术》。LNCS,第3670卷,施普林格,海德堡(2005)·doi:10.1007/11549970_19
[5] Brookes,S.:通信过程的痕迹、浮夸、公平和完整抽象。收录于:Brim,L.、Jančar,P.、Křetínsk \345],M.、Kucera,A.(编辑)CONCUR 2002。LNCS,第2421卷,斯普林格,海德堡(2002)·Zbl 1012.68136号
[6] Bruni,R.,Melgratti,H.,Montanari,U.:流合成语言中补偿的理论基础。In:程序。《POPL'05》,ACM出版社,纽约(2005)·Zbl 1369.68070号
[7] Busi,N.、Gorrieri,R.、Guidi,C.、Lucchi,R.和Zavataro,G.:舞蹈与编配:系统设计的协同方法。摘自:Benatallah,B.,Casati,F.,Traverso,P.(编辑)ICSOC 2005。LNCS,第3826卷,斯普林格,海德堡(2005)·doi:10.1007/11596141_18
[8] Busi,N.、Gorrieri,R.、Guidi,C.、Lucchi,R.和Zavataro,G.:系统设计的编排和编配一致性。收录:Ciancarini,P.,Wiklicky,H.(编辑)COORDINATION 2006。LNCS,第4038卷,斯普林格,海德堡(2006)·Zbl 05570409号 ·doi:10.1007/11767954_5
[9] Butler,M.、Hoare,T.、Ferreira,C.:长期运行事务的跟踪语义。摘自:Abdallah,A.E.,Jones,C.B.,Sanders,J.W.(编辑)《通信顺序过程》。LNCS,第3525卷,斯普林格,海德堡(2005)·Zbl 1081.68644号
[10] Butler,M.,Ripon,S.:补偿CSP的可执行语义。收录:Bravetti,M.、Kloul,L.、Zavataro,G.(编辑)《计算机系统和业务流程的形式化技术》。LNCS,第3670卷,斯普林格,海德堡(2005)·doi:10.1007/11549970_18
[11] Carbone,M.,Honda,K.,Yoshida,N.,Milner,R.,Brown,G.,Ross-Talbot,S.:以通信为中心的并发编程的理论基础(2006),http://www.w3.org/2002/ws/chor/edcopies/theory/note.pdf
[12] Fu,X.,Bultan,T.,Su,J.:对话协议:反应式电子服务规范和验证的形式主义。收录:Ibarra,O.H.,Dang,Z.(编辑)CIAA 2003。LNCS,第2759卷,斯普林格,海德堡(2003)·Zbl 1279.68210号 ·数字对象标识代码:10.1007/3-540-45089-0_18
[13] Li,J.,He,J..,Pu,G.,Zhu,H.:面向web服务编排描述语言的语义。收录:Liu,Z.,He,J.(编辑)ICFEM 2006。LNCS,第4260卷,施普林格,海德堡(2006年)·doi:10.1007/11901433_14
[14] Pu,G.,Zhu,H.,Qiu,Z.,Wang,S.,Zhao,X.,He,J.:基于范围的web服务补偿流语言的理论基础。In:Ning,P.,Qing,S.,Li,N.(编辑)ICICS 2006。LNCS,第4307卷,斯普林格,海德堡(2006)
[15] Qiu,Z.,Wang,S.,Pu,G.,Zhao,X.:BPEL4WS的语义,如故障和补偿处理。In:Fitzgerald,J.A.,Hayes,I.J.,Tarlecki,A.(编辑)FM 2005。LNCS,第3582卷,斯普林格,海德堡(2005)·Zbl 1120.68324号
[16] 邱,Z.,Zhao,X.,Chao,C.,Yang,H.:走向舞蹈编导的理论基础。WWW’07接受,可在以下网址获取技术报告网址:http://www.is.pku.edu.cn/形式/
[17] Zhao,X.,Yang,H.,Qiu,Z.:面向web服务编排描述语言的形式化模型和验证。摘自:Bravetti,M.、Nüñez,M.和Zavataro,G.(编辑)WS-FM 2006。LNCS,第4184卷,斯普林格,海德堡(2006)·doi:10.1007/11890881
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。