Coordinated Atomic Actions and System Fault Tolerance

3. CA Actions: Action NestingT1T2CA actionraise e isignal ε jTnExternal objectsact upone = {e 1 , e 2 , e 3 , ...}ε = {ε 1 , ε 2 , ε 3 ,...}Recursive relation:Exceptions inside the CA action must be declared with theaction definition and handled within the actionExceptions to be signalled from the action to its environment(e.g. the enclosing action) must be specified in the CA actioninterfaceε nested is a subset of e enclosing11 February, 2004