The definition of a flow, a program that when executed carries out a task on behalf of a single client.
A step within a
A state that can transition to another state.
A transition takes a flow from one state to another.
Each flow has an indentifier and is composed of one or more states, one of which is the start state. States may be transitionable, if so they define one or more transitions that lead to other states.
With these types a client can introspect a flow definition to reason on its attributes and traverse its structure, perhaps to display a visual diagram. Note that the types defined in this package do not capture the behavioral characteristics of a flow.