Webπ∞的行为理论的研究
近年来，Web服务研究领域的一个重要研究方向是探讨如何组合已有的Web服务并协调其运行，以便更有效地利用网络上已有的服务.为此，人们提出了很多Web服务编排语言.在已经出现的若干编排语言中WS-BPEL最有可能成为该领域的标准.WS-BPEL利用长期运行事务和补偿这两个概念对错误进行了处理.意大利学者Mazzara等人提出了进程演算系统Webπ∞，从形式化的观点出发对事务和补偿进行了刻画Webπ∞，并给出了其相关的理论.本文将采用强互模拟的概念来刻画进程之间的等价关系，并在此基础上讨论Webπ∞的行为理论.
行为理论 互模拟 Web服务 进程演算 Webπ∞
郭峰
南京航空航天大学信息科学与技术学院，江苏 南京 210016
国内会议
南京
中文
61-62
2008-11-14（万方平台首次上网日期，不代表论文的发表时间）