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

资源简介

本文件规定了一种基于形式逻辑的概念具体化方法，以支持制造参考模型的开发，这些模型是支持全球生产网络配置所需的必要业务特定知识模型的基础。

本文件规定了以下内容：

• 形式语义模型方法；
• 属性具体化的层次；
• 各层次的语境；
• 各层次的关键属性；
• 属性关系；
• 属性公理；
• 适用性规则。