Store task data in any of four managed scopes: request, flash, flow, and conversation; each with their own distinct semantics.

The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;