The core theory subactivity.th alone does not specify any relationship between the occurrence of an activity and occurrences of its subactivities. For example, the specification of subactivities alone does not allow us to distinguish between a nondeterministic activity and a deterministic activity.
The basic ontological commitments of the Subactivity Theory are based on the following intuitions:
The composition relation is a discrete partial ordering, in which primitive activities are the minimal elements.
(subactivity ?a1 ?a2) is TRUE in an interpretation of Subactivity Theory if and only if activity ?a1 is a subactivity of activity ?a2.
(primitive ?a) is TRUE in an interpretation of Subactivity Theory if and only if the activity ?a has no proper subactivities.
Last Updated: Wednesday, 15-December-2003 11:42:40
Return to the PSL homepage