TY - GEN
T1 - A probabilistic BPEL-like language
AU - Jifeng, He
PY - 2010
Y1 - 2010
N2 - Exception and failure are the typical phenomena of the execution of long-running transactions. To capture the random features of internet-based computing, this paper investigates a BPEL-like language which is enriched with probabilistic choice operator. We extend the standard design model [12] with the new healthiness conditions to accommodate the coordination and compensation mechanisms of the language.
AB - Exception and failure are the typical phenomena of the execution of long-running transactions. To capture the random features of internet-based computing, this paper investigates a BPEL-like language which is enriched with probabilistic choice operator. We extend the standard design model [12] with the new healthiness conditions to accommodate the coordination and compensation mechanisms of the language.
UR - https://www.scopus.com/pages/publications/78649622392
U2 - 10.1007/978-3-642-16690-7_3
DO - 10.1007/978-3-642-16690-7_3
M3 - 会议稿件
AN - SCOPUS:78649622392
SN - 364216689X
SN - 9783642166891
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 74
EP - 100
BT - Unifying Theories of Programming - Third International Symposium, UTP 2010, Proceedings
T2 - 3rd International Symposium on Unifying Theories of Programming, UTP 2010
Y2 - 15 November 2010 through 16 November 2010
ER -