标准摘要
[中文适用范围]： ISO 18629 的这一部分通过一组公理和定义提供了属于该语言外核的概念的表示。 这些公理提供了 ISO 18629 外核中术语语义的公理化。 以下内容属于 ISO 18629 本部分的范围： ——活动和子活动的汇总； ——离散的活动和状态； ——对活动发生的限制； ——原始活动的并发性； ——复杂的活动； ——复杂活动的发生。 [外文原描述]： ISO 18629-12:2005 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 ISO 18629-12:2005: 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.
英文名称Industrial automation systems and integration — Process specification language — Part 12: Outer core