ICS _40 L 67 中华人民共和国国家标准 GB/T 20719.1---2006/IS0 18629-1:2004 工业自动化系统与集成 过程规范语言 第1部分：概述与基本原理 Industrial automation system and integration- Process specification language- Part 1 :Overview and basic principles (ISO 18629-1:2004,IDT) 2006-12-13发布 2007-07-01实施 中华人民共和国国家质量监督检验检疫总局 发布 中国国家标准化管理委员会 GB/T 20719. 1—2006/IS0 18629-1:2004 目 次 前言 引言 1 范围 2 规范性引用文件 3 术语、定义及缩略语 3.1 术语和定义 3.2 缩略语 ....... 4 GB/T20719总论 4. 1 GB/T20719概述 4. 2 PSL基本原理 ...... 4. 3 PSL扩展的需求 4.3.1 非逻辑词汇 4.3.2 模型的规范 4.3.3 扩展的公理 4.3. 4 过程描述的语法 4.3.5 扩展格式 4. 4 GB/T20719标准的组织 4.5 GB/T20719.1x系列 核心理论 4.5.1 GB/T 20719.11 PSL核心 4.5.2 GB/T 20719.12 外核 4.5.3 GB/T20719.13 时序理论· 4.5.4 GB/T 20719.14 资源理论· 4.5.5 GB/T 20719.15 活动性能理论…· 4. 6 GB/T20719.2x系列 外部映射 4. 7 GB/T20719.4x系列 定义性扩展 4.7.1 GB/T 20719.41 活动· 4.7.2 GB/T 20719.42 时间与状态·· 4.7.3 GB/T 20719.43 序列 4.7. 4 GB/T 20719.44 资源角色……· 4.7.5 GB/T 20719.45 资源集的种类 4.7.6 GB/T 20719.46 4.7.7 GB/T 20719.47 过程目的 4.8 GB/T20719.2xx系列 转换执行指导 5 一致性测试方法及框架 5.1 应用软件与GB/T20719的一致性· 5. 2 本体与GB/T20719的一致性…· 12 5.2.1 用户定义的扩展的一致性…. 12 5.2.2 外部本体的一致性