“…Since the specifications of these languages mainly consist in informal textual description of their constructors, there is a strong interest in the formalization of their semantics [4-6, 10, 13]. Among these papers, [6,10] give theoretical foundations to the fragments of orchestration languages describing long-running transactions. In particular, [6] identifies three main composition patterns for transactional activities with compensations, namely sequential composition, parallel composition, and nesting, and provides a formal semantics for them.…”