Probabilistic Programming With Coordination and Compensation

摘要：

Failure is the typical phenomena of the execution of long-running transactions. To accommodate the randoM features of internet-based computing we extend the Guarded Command Language by addition of probabilistic choice and coordination combinators. This paper deals with rollback and compensation mechanisms of the language by providing a probabilistic model. We also discuss algebraic properties of the new combinators, and show the completeness of the algebraic system by show how to convert programs to normal forms.

作者: Ji-Feng He

作者单位: Shanghai Key Laboratory of Trustworthy Computing East China Normal University, China

会议类型: 国际会议

会议名称: 2009 Third IEEE International Conference on Secure Integration and Reliability Improvement SSIRI 2009(第三届IEEE安全软件集成及可信性改进国际会议)

会议地点: 上海

会议语种:英文

页码: 1-1

在线出版日期: 2009-07-08（万方平台首次上网日期，不代表论文的发表时间）