The Extension of Long-Running Transactions Compensation Language-StAC
This paper investigates the StAC language (Structured Activity Compensation) which can be used to specify the orchestration of activities in long-running business transactions, based on the existing problems between compensation and termination in web services. First, we propose the extended StAC syntax, and then show two examples to illustrate the extended operators. Second, we present the operational semantics to ensure the compensation mechanism by labeled transition relations, making use of structural congruence relations, following a predicate of compensation updating.
web services long-running transactions compensation operational semantics termination structural congruence
Yonghong Hao Farong Zhong
Department of Computer Science Zhejiang Normal University Jinhua, 321004, China
国际会议
哈尔滨
英文
713-717
2011-12-24（万方平台首次上网日期，不代表论文的发表时间）