GB/T 20719.14-2010《工业自动化系统与集成 过程规范语言 第14部分:资源理论》
根据GB/T 20719.1中描述的范围,即本部分第4章所提及的,本部分通过一系列公理和定义提供了属于浯言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。
以下各项属于本部分的范畴:
资源;
—资源和活动间的关系;
—资源集;
—增加量。
标准信息:
- 免责声明:本网站所提供的电子文本仅供参考,请以正式标准出版物为准。本网站所提供的电子文本均来自于互联网,其版权由其发行商所有,仅供个人学习、研究之用,未经授权,禁止复制、发行、汇编、翻译等。
- 中文名称:工业自动化系统与集成 过程规范语言 第14部分:资源理论
- 英文名称:Industrial automation systems and integration—Process specification language—Part 14:Resource theori
- 标准分类:通用基础标准
- 国际标准分类:25.040.40
- 中国标准分类:L67
- 标准前缀:GB/T
- 标准状态:现行
- 发布单位:中华人民共和国国家质量监督检验检疫总局 中国国家标准化管理委员会
- 发布日期:2010-12-01
- 废止日期:无
- 实施日期:2011-05-01
- 页数:24 页
第1页
第2页
第3页
第4页
第5页
第6页
第7页
第8页
第9页
第10页