国家标准项目《工业自动化系统与集成 全球生产网络配置的形式语义模型》由 TC159（全国自动化系统与集成标准化技术委员会）归口，TC159SC4（全国自动化系统与集成标准化技术委员会工业数据分会）执行 ，主管部门为中国机械工业联合会。

主要起草单位 中国标准化研究院 、浙江大学 。

本标准等同采用ISO国际标准：ISO 20534:2018。

采标中文名称:工业自动化系统与集成 全球生产网络配置的形式语义模型。

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