GB/T 20719.43-2010 工业自动化系统与集成 过程规范语言 第43部分：定义性扩展：活动次序和持续时间扩展
| 标准名称： | 工业自动化系统与集成 过程规范语言 第43部分：定义性扩展：活动次序和持续时间扩展 |
| 英文名称： | Industrial automation systems and integration—Process specification language—Part 43:Definitional extension:Activity ordering and duration extensions |
| 中标分类： | 电子元器件与信息技术 >> 计算机 >> 计算机应用 |
| ICS分类： | 机械制造 >> 工业自动化系统 >> 工业过程的测量与控制 |
| 发布部门： | 中华人民共和国国家质量监督检验检疫总局 中国国家标准化管理委员会 |
| 发布日期： | 2011-01-14 |
| 实施日期： | 2011-06-01 |
| 首发日期： | 2011-01-14 |
| 作废日期： | |
| 主管部门： | 全国自动化系统与集成标准化技术委员会(SAC/TC 159) |
| 提出单位： | 中国机械工业联合会 |
| 归口单位： | 全国自动化系统与集成标准化技术委员会(SAC/TC 159) |
| 起草单位： | 北京机械工业自动化研究所、清华大学 |
| 起草人： | 高雪芹、黄双喜 |
| 出版社： | 中国标准出版社 |
| 出版日期： | 2011-06-01 |
| 页数： | 44页 |
GB/T20719的本部分通过使用GB/T20719的语言中编写的一组定义提供了该语言的非基本概念的规范。这些定义为GB/T20719本部分的术语提供了语义的公理化。
以下包括在GB/T20719本部分的范围内:
———概念的定义,其使用GB/T20719.13中指定的术语。
以下不在GB/T20719本部分的范围内:
———状态的定义和与时间相关的概念的定义,其只使用GB/T20719.11和GB/T20719.12中指定的术语。
没有内容
前言 Ⅰ 引言 Ⅱ 1 范围 1 2 规范性引用文件 1 3 术语和定义、缩略语 1 4 GB/T20719总论 4 5 GB/T20719本部分的组织 5 6 强部分有序活动 5 7 活动发生的持续时间约束 9 8 基于状态的持续时间 10 9 基于时间的持续时间 12 10 基于状态和时间的持续时间 14 11 活动发生的次序和持续时间约束 15 12 嵌入的活动发生的次序和持续时间约束 17 13 活动的变质前提 19 14 预定的嵌入约束 21 15 基于持续时间的效应 22 16 基于持续时间和时间的活动的效应 24 17 复杂序列次序关系 26 附录A (规范性附录) 本部分的ASN.1标识符 28 附录B(资料性附录) 使用本部分描述过程的实例 29 附录NA (资料性附录) 本部分英文黑体词的含义 35 参考文献 37 索引 38
下列文件中的条款通过GB/T20719的本部分的引用而成为本部分的条款。凡是注日期的引用文件,其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分,然而,鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件,其最新版本适用于本部分。
GB/T16262.1 信息技术 抽象语法记法一(ASN.1) 第1部分:基本记法规范(GB/T16262.1—2006,ISO/IEC8824-1:2002,IDT)
GB/T19114.1 工业自动化系统与集成 工业制造管理数据 第1部分:综述(GB/T19114.1—2003,ISO15531-1:2002,IDT)
GB/T19114.42 工业自动化系统与集成 工业制造管理数据 第42 部分:时间模型(GB/T19114.42—2008,ISO15531-42:2005,IDT)
GB/T20719.1—2006 工业自动化系统与集成 过程规范语言 第1部分:概述与基本原理(ISO18629-1:2004,IDT)
GB/T20719.11—2010 工业自动化系统与集成 过程规范语言 第11 部分:PSL 核心(ISO18629-11:2005,IDT)
GB/T20719.12 工业自动化系统与集成 过程规范语言 第12部分:外核(GB/T20719.12—2010,ISO18629-12:2005,IDT)
GB/T20719.13 工业自动化系统与集成 过程规范语言 第13部分:持续时间和次序理论(GB/T20719.13—2010,ISO18629-13:2006,IDT)