GB/T 20719.12-2010 工业自动化系统与集成 过程规范语言 第12部分：外核
作者:标准资料网 时间:2024-05-14 09:21:58 浏览:8541
来源:标准资料网
下载地址: 点击此处下载
基本信息
| 标准名称： | 工业自动化系统与集成 过程规范语言 第12部分：外核 |
| 英文名称： | Industrial automation systems and integration—Process specification language—Part 12:Outer core |
| 中标分类： | 电子元器件与信息技术 >> 计算机 >> 计算机应用 |
| ICS分类： | 机械制造 >> 工业自动化系统 >> 工业过程的测量与控制 |
| 发布部门： | 中华人民共和国国家质量监督检验检疫总局 中国国家标准化管理委员会 |
| 发布日期： | 2011-01-14 |
| 实施日期： | 2011-06-01 |
| 首发日期： | 2011-01-14 |
| 作废日期： | |
| 主管部门： | 全国自动化系统与集成标准化技术委员会(SAC/TC 159) |
| 提出单位： | 中国机械工业联合会 |
| 归口单位： | 全国自动化系统与集成标准化技术委员会(SAC/TC 159) |
| 起草单位： | 北京机械工业自动化研究所、清华大学 |
| 起草人： | 刘颖、黄双喜 |
| 出版社： | 中国标准出版社 |
| 出版日期： | 2011-06-01 |
| 页数： | 44页 |
适用范围
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语方外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。
GB/T 20719本部分的范围包括：
——活动和子活动的集合；
——离散活动和状态；
——活动发生的约束；
——基本活动的并发；
——复杂活动；
——复杂活动的发生。
前言
没有内容
目录
没有内容
引用标准
没有内容
所属分类： 电子元器件与信息技术 计算机 计算机应用 机械制造 工业自动化系统 工业过程的测量与控制
下载地址: 点击此处下载