邱宗燕;王淑玲;浦、葛光;赵祥鹏 类似BPEL4WS的故障和补偿处理的语义。 （英语） Zbl 1120.68324号 Fitzgerald，John（编辑）等人，FM 2005：形式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27882-6/pbk）。计算机科学课堂讲稿3582350-365（2005）。 概要：BPEL4WS是最重要的业务流程建模语言之一。它的一个显著特点是完全可编程的故障和补偿处理机制，允许用户以特定于应用程序的方式指定进程的补偿行为。在本文中，我们为简化版本的BPEL4WS提供了一种形式化的操作语义，提出并讨论了与故障和补偿处理相关的一些重要概念，特别是补偿闭包和补偿上下文。我们还讨论了从本研究中获得的对BPEL4WS语言及其实现的一些见解。关于整个系列，请参见[Zbl 1078.68005号]. 引用于4文件 MSC公司： 68M10个 计算机系统中的网络设计和通信 68米15 网络和计算机系统的可靠性、测试和容错 关键词：业务流程;语言;语义学;BPEL4WS型;赔偿处理;故障处理 PDF格式BibTeX公司 XML格式引用 \textit{Z.Qiu}等人，Lect。注释计算。科学。3582、350-365（2005年；Zbl 1120.68324） 全文： 内政部