标准编号：ISO 18629-12:2005
中文名称：工业自动化系统和整合 程序规范语言 第12部分： 外部磁圈
英文名称：Industrial automation systems and integration — Process specification language — Part 12: Outer core
发布日期：2005-10
标准范围
This part of ISO 18629 provides a representation of the concepts that belong to the Outer core of thelanguage, through a set of axioms and definitions. These axioms provide an axiomatization of thesemantics 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.
标准预览图
立即下载标准文件