–
Room P3.10, Mathematics Building
Carla Ferreira, INESC-ID, Instituto Superior Técnico
cCSP: A process algebra for compensating transactions
In this talk I will discuss a model of long-running transactions (LRT) within the framework of the CSP process algebra. Standard transactions deal with faults by preserving an all or nothing atomicity property. In the context of LRT, which involve the coordination and interaction of activities executed by multiple partners, atomicity is not preserved. In LRT, fault handling can be achieved by defining compensating actions for those actions that cannot be undone automatically. cCSP provides constructs for transaction coordination with support for compensation.