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

标准编号：GB/T 44449-2024

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

英文名称：Industrial automation systems and integration—Formal semantic models for the configuration of global production networks

发布日期：2024-09-29

实施日期：2025-04-01

提出单位：中国机械工业联合会

归口单位：全国自动化系统与集成标准化技术委员会

批准发布部门：中国机械工业联合会

起草人

王志强、徐凯程、张丽霞、郑文超、曹海珠、黄绍平、俞玲、赵金晓、王小龙、周盖、袁晓波、冯骏、杨青海、刘守华、温娜、高亮、何世伟、梁大伟、王林东、蒋瑞锋、杜鑫、梁军强、尹可杰、黄家坤、张朝富、张康伟、何春武、余丁、王淑敏、尹书蕊

起草单位

中国标准化研究院、欧瑞科斯科技产业（集团）有限公司、西格迈股份有限公司、广东天机智能系统有限公司、敏实汽车技术研发有限公司、依柯力信息科技（上海）股份有限公司、一工机器人银川有限公司、上海辛帕智能科技股份有限公司、安徽长荣光纤光缆科技有限公司、山东未来网络研究院（紫金山实验室工业互联网创新应用基地）、宁波海尔施基因科技股份有限公司、安徽江河智能装备集团有限公司、重庆泓宝科技股份有限公司、浙江武精机器制造有限公司、广东顺力智能物流装备股份有限公司、哈尔滨宇龙自动化有限公司、北一（山东）工业科技股份有限公司、浙江锐智信息技术有限公司、中铁宝桥（南京）有限公司、苏州堡威技术有限公司、中山市川成精密电子有限公司

标准范围

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

本文件规定了以下内容：形式语义模型方法；属性具体化的层次；各层次的语境；各层次的关键属性；属性关系；属性公理；适用性规则。

以下内容属于本文件范围：离散产品制造的生产网络；全球生产网络配置的形式语义；系统层次形式语义；人造系统形式语义；制造业务系统形式语义；全球生产系统网络形式语义。

以下内容不属于本文件范围：工厂形式语义；全球生产网络运行的形式语义。

标准文档截图