Abstract. Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensations. We present a simple operational semantics for Compensating CSP and outline an encoding of this semantics in Prolog. This provides a basis for implementation and model checking of the language.
It is equipped with a simple operational semantics REF and this semantics is made executable by encoding the rules in Prolog.
Executable semantics for compensating CSP
In: Proc. of the 2nd Int’l Workshop on Web Services and Formal Methods. LNCS 3670
Computer Science