Aggregation of functions to achieve a specific outcome. (Typically utilized by only one user at a time, it exposes its current state via a state machine and might optionally include a Program Manager.)