Composition is not necessarily a closed operation.
Result is some process composed of service calls.
Process may be a general conditional workflow.
Possibly expressed in a workflow spec such as BPELS.
We restrict the composition result to
a non-conditional process instance that achieves
one goal, usually
fully-instantiated, one time in
one situation.
