Title :
Keynote: Probabilistic Programming With Coordination and Compensation
Author_Institution :
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China
Abstract :
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.
Keywords :
Internet; assembly language; probability; Internet; compensation mechanism; coordination combinators; guarded command language; probabilistic programming; rollback mechanism; Content addressable storage; Fellows; Helium; Laboratories; NIST; Network address translation; Programmable logic arrays; Software engineering; Tellurium;
Conference_Titel :
Secure Software Integration and Reliability Improvement, 2009. SSIRI 2009. Third IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-0-7695-3758-0
DOI :
10.1109/SSIRI.2009.73
