A dynamic compensation model for web service transactions
Jiajie Wu · Journal of Zhejiang Normal University · 2010
The Exπ-calculus was presented as a dynamic compensation model for web service transactions.The extended calculus could support compensation associated with interactions,in which compensation processes could be dynamically installed according to interactions.It was also equipped with structural congruence and operational semantics.In order to guarantee uniqueness of transactions,a simple type system was introduced.Moreover,the expressiveness of the simplified model was compared with static compensation model and dynamic compensation model.It was found that the extended calculus was more flexible and expressive than others.