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 functioning
as a selector identifying a restricted range of Activities in the universe;
* insofar as an 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
(=> (Activity-Or-Spec ?X) (Or (Activity ?X) (Activity-Spec ?X))) (=> (Planning ?Planning) (Exists (?Plan ?Aspec) (And (Plan ?Plan) (Activity-Spec ?Aspec) (Execution-Of-Activity-Spec ?Aspec ?Planning) (Intended-Purpose ?Aspec '(Actual-Output ?Planning ?Plan))))) (=> (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)))))
(<=> (Activity-Or-Spec ?X) (And (Eo-Entity ?X) (Or (Activity ?X) (Activity-Spec ?X))))