scope:

This part of ISO 18629 provides a representation of the concepts that belong to the Outer core of the language, through a set of axioms and definitions. These axioms provide an axiomatization of the semantics for terminology in the ISO 18629 Outer core. The following are within the scope of this part of ISO 18629: - the aggregation of activities and sub-activities; - discrete activities and state; - constraints on the occurrence of activities; - concurrency for primitive activities; - complex activities; - occurrences of complex activities.