to definitions 2.2, 2.3, respectively. 2.10 Validation of Task Sequences The validation process (2.7, 3rd bullet) has some particular fea- tures for task sequences: Let T1, T2, T3 be subsequent members [...] sequence. Assume that T1 and T3 were both marked but the changes made by T1 do not make it necessary to invoke T2, the validation TR T1 T2 T3 T4 process makes sure that T3 will be executed anyway. (After [...] purpose object and task / transaction similarity are exploited. 3.1 O2PL The O2PL protocol according to (Xiong, Ramamritham, TR T1 T2 T3 TR T1 T2 T3 T4 T5 T6 et.al,1998) consists of 2 phases: Execution phase …