a characterisation of something to do; a specification of activity. By its very nature, this characterisation restricts the possible things to do and thus corresponds to a subset of the Activities in the universe. * an Activity Specification can be thought of as a constraint functioningas a selector identifying a restricted range of Activities in the universe; * insofar as Activity Specification will be built up from various
components (statements in some language), each constraining the
specification in different ways, an
Activity Specification can be thought of a collection of constraints. * The language for expressing Activity Specifications
will include statements about
ordering (sub)-Activities; Resource usage, Activity
Decomposition, and much more
(=> (Strategic-Planning ?Sgc-Planning) (Exists (?Strategy ?Aspec) (And (Strategy ?Strategy) (Activity-Spec ?Aspec) (Execution-Of-Activity-Spec ?Aspec ?Sgc-Planning) (Intended-Purpose ?Aspec '(Actual-Output ?Sgc-Planning ?Strategy))))) (=> (Planning ?Planning) (Exists (?Plan ?Aspec) (And (Plan ?Plan) (Activity-Spec ?Aspec) (Execution-Of-Activity-Spec ?Aspec ?Planning) (Intended-Purpose ?Aspec '(Actual-Output ?Planning ?Plan)))))
(<=> (Activity-Or-Spec ?X) (And (Eo-Entity ?X) (Or (Activity ?X) (Activity-Spec ?X))))
(Exhaustive-Subclass-Partition Activity-Or-Spec (Setof Activity Activity-Spec))