BS ISO 18629-12:2005

Industrial automation systems and integration. Process specification language. Outer core | Status: Confirmed, Current

1 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 18629Outer 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.