The paper's effect-history model separates external events from the runtime's observations, attributes attempts, compensations, and effects to workflows and branches, and evaluates effect safety against workflow resolution at the higher level. · CiteArk
The paper's effect-history model separates external events from the runtime's observations, attributes attempts, compensations, and effects to workflows and branches, and evaluates effect safety against workflow resolution at the higher level.
来源：paper:PDF pp. 2-3, Section 2; Markdown blocks p2-b19 and p3-b21-p3-b26
