工业自动化系统与集成 过程规范语言 第43部分：定义性扩展：活动次序和持续时间扩展 GBT 20719.43-2010.pdf

GB/T20719.43-2010/1S018629-43:2006工业自动化系统与集成过程规范语言第43部分：定义性扩展：活动次序和持续时间扩展1范围GB/T20719的本部分通过使用GB/T20719的语言中编写的一组定义提供了该语言的非基本概念的规范。这些定义为GB/T20719本部分的术语提供了语义的公理化。以下包括在GB/T20719本部分的范围内：一概念的定义，其使用GB/T20719.13中指定的术语。以下不在GB/T20719本部分的范围内：一状态的定义和与时间相关的概念的定义，其只使用GB/T20719.11和GB/T20719.12中指定的术语。2规范性引用文件下列文件中的条款通过GB/T20719的本部分的引用而成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单（不包括制误的内容）或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。GB/T16262.1信息技术抽象语法记法一(ASN.1)第1部分：基本记法规范(GB/T16262.1一2006,1S0/1EC88241:2002,IDT)GB/T19114.1工业自动化系统与集成工业制造管理数据第1部分：综述(GB/T19114.1一2003,1S015531-1:2002,1DT)GB/T19114,42工业自动化系统与集成工业制造管理数据第42部分：时间模型(GB/T19114.42-2008,IS015531-42:2005,IDT)GB/T20719.1一2006工业自动化系统与集成过程规范语言第1部分：概述与基本原理(1S018629-1:2004,1DT)GB/T20719.11一2010工业自动化系统与集成过程规范语言第11部分：PSL核心(1S018629-11:2005,1DT)GB/T20719.12工业自动化系统与集成过程规范语言第12部分：外核(GB/T20719.12一2010,1S018629-12:2005,1DT)GB/T20719.13工业自动化系统与集成过程规范语言第13部分：持续时间和次序理论(GB/T20719.13-2010,IS018629-13:2006,IDT)3术语和定义、缩略语3.1术语和定义下列术语和定义适用于GB/T20719的本部分。3.1.1自同构automorphism保留了某个模型中的关系和函数的集合上的元素的一一映射。