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.