ISO 18629-12:2005 工业自动化系统和整合 程序规范语言 第12部分： 外部磁圈

标准编号：ISO 18629-12:2005

中文名称：工业自动化系统和整合 程序规范语言 第12部分： 外部磁圈

英文名称：Industrial automation systems and integration — Process specification language — Part 12: Outer core

发布日期：2005-10

标准范围

ISO 18629-12:20 05通过一组公理和定义提供了属于语言外部核心的概念的表示。这些公理提供了ISO 18629外核中术语语义的公理化。以下内容属于ISO 18629-12:20 05的范围:活动和子活动的汇总；离散活动和状态；对活动发生的限制；原始活动的并发性；复杂的活动；复杂活动的发生。

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.

标准预览图