GB/T 20719.14-2010 工业自动化系统与集成过程规范语言第14部分资源理论

下载格式：pdf资源分类：实用文档

工业自动化系统与集成过程规范语言第14部分资源理论（GB/T 20719.14-2010）

根据GB/T 20719.1中描述的范围，即本部分第4章所提及的，本部分通过一系列公理和定义提供了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。以下各项属于本部分的范畴：—资源；—资源和活动间的关系；—资源集；—增加量。