COMPOSITION/SEQUENCE SPECIFICATIONS
Composition by dependences
A dependence creates an order (total or partial) among a pair or set of UC's by:
Defining source/sink relations among outputs and inputs
Definition of accessibility state of name/value pair
Synchronization of execution of pair or set of UC's
Composition by sequence or schedule
A schedule defines an explicit order of execution of some set of UC's
Program counter specification