工业自动化系统与集成　全球生产网络配置的形式语义模型

Industrial automation systems and integration—Formal semantic models for the configuration of global production networks

标准介绍

本文件规定了一种基于形式逻辑的概念具体化方法，以支持制造参考模型的开发，这些模型是支持全球生产网络配置所需的必要业务特定知识模型的基础。
本文件规定了以下内容：
——形式语义模型方法；
——属性具体化的层次；
——各层次的语境；
——各层次的关键属性；
——属性关系；
——属性公理；
——适用性规则。

提出部门

中国机械工业联合会

发布部门

国家市场监督管理总局、国家标准化管理委员会