Executable Semantics for Compensating CSP

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.

• Type: Conference
• Year: 2005
• Where: EPEW
• Authors: Michael J. Butler, Shamim Ripon
• Keywords: CSP Process Algebra, EPEW 2005, Error Recovery Mechanism, Simple Operational Semantics