×

比较两种可补偿流量合成方法。 (英语) 兹伯利1134.68316

Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653,383-397(2005)。
概述:Web服务组合是一种用于集成长期运行的业务流程的新兴范式,吸引了业界(基于XML的业务描述标准)和学术界(利用流程描述语言)的兴趣。建模的关键挑战是编排工作流、交换消息的编排、错误处理和带有补偿机制的事务完整性。最近很少有提案试图通过仔细选择与上述方面相关的一小组原语来缓解临时标准中XML构造的激增。本文澄清了两种最新的过程描述语言之间的类比和差异:一种基于交错跟踪语义,另一种基于并发跟踪。我们利用它们的比较来描述和关联四种不同的协调政策,以补偿并行过程。这些政策在流程中止影响兄弟流程执行的方式以及补偿是分配还是集中方面有所不同。
关于整个系列,请参见[Zbl 1084.68002号].

MSC公司:

64岁以下 分布式系统
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68单位35 信息系统的计算方法(超文本导航、接口、决策支持等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部