Industrial automation systems and integration — Process specification language — Part 12: Outer core
工业自动化系统与集成——工艺规范语言第12部分:外芯
发布日期:
2005-09-29
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: