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

GB/T 44449-2024 Industrial automation systems and integration—Formal semantic models for the configuration of global production networks

国家标准 中文简体 即将实施 页数:120页 | 格式:PDF

基本信息

标准号
GB/T 44449-2024
标准类型
国家标准
标准状态
即将实施
中国标准分类号(CCS)
国际标准分类号(ICS)
发布日期
2024-09-29
实施日期
2025-04-01
发布单位/组织
国家市场监督管理总局、国家标准化管理委员会
归口单位
全国自动化系统与集成标准化技术委员会(SAC/TC 159)
适用范围
本文件规定了一种基于形式逻辑的概念具体化方法,以支持制造参考模型的开发,这些模型是支持全球生产网络配置所需的必要业务特定知识模型的基础。
本文件规定了以下内容:
——形式语义模型方法;
——属性具体化的层次;
——各层次的语境;
——各层次的关键属性;
——属性关系;
——属性公理;
——适用性规则。

发布历史

文前页预览

研制信息

起草单位:
中国标准化研究院、安徽江河智能装备集团有限公司、欧瑞科斯科技产业(集团)有限公司、重庆泓宝科技股份有限公司、西格迈股份有限公司、浙江武精机器制造有限公司、广东天机智能系统有限公司、广东顺力智能物流装备股份有限公司、敏实汽车技术研发有限公司、哈尔滨宇龙自动化有限公司、依柯力信息科技(上海)股份有限公司、北一(山东)工业科技股份有限公司、一工机器人银川有限公司、浙江锐智信息技术有限公司、上海辛帕智能科技股份有限公司、中铁宝桥(南京)有限公司、安徽长荣光纤光缆科技有限公司、苏州堡威技术有限公司、山东未来网络研究院(紫金山实验室工业互联网创新应用基地)、中山市川成精密电子有限公司、宁波海尔施基因科技股份有限公司
起草人:
王志强、徐凯程、何世伟、梁大伟、张丽霞、郑文超、王林东、蒋瑞锋、曹海珠、黄绍平、杜鑫、梁军强、俞玲、赵金晓、尹可杰、黄家坤、王小龙、周盖、张朝富、张康伟、袁晓波、冯骏、何春武、余丁、杨青海、刘守华、王淑敏、尹书蕊、温娜、高亮
出版信息:
页数:120页 | 字数:210 千字 | 开本: 大16开

内容描述

ICS2504040

CCSN.10.

中华人民共和国国家标准

GB/T44449—2024/ISO205342018

:

工业自动化系统与集成

全球生产网络配置的形式语义模型

Industrialautomationsystemsandintegration—Formalsemanticmodelsforthe

configurationofglobalproductionnetworks

ISO205342018IDT

(:,)

2024-09-29发布2025-04-01实施

国家市场监督管理总局发布

国家标准化管理委员会

GB/T44449—2024/ISO205342018

:

目次

前言

…………………………Ⅴ

引言

…………………………Ⅵ

范围

1………………………1

规范性引用文件

2…………………………1

术语和定义

3………………1

缩略语

4……………………7

全球生产网络配置的形式语义模型

5……………………7

形式语义

5.1……………7

生产网络层次化概述

5.2………………8

系统功能形式语义第层

6———1…………9

概述

6.1…………………9

第层形式语义语境

6.21———…………11

语境

6.2.1……………11

第层形式语义属性

6.31———…………12

属性基体

6.3.1———…………………12

属性实体

6.3.2———…………………12

属性活动

6.3.3———…………………12

属性系统功能

6.3.4———……………12

属性能源

6.3.5———…………………13

属性材料

6.3.6———…………………13

属性信息

6.3.7———…………………13

属性角色

6.3.8———…………………13

属性输入

6.3.9———…………………14

属性输出

6.3.10———………………14

属性资源

6.3.11———………………14

属性控制

6.3.12———………………14

属性场景

6.3.13———………………14

第层形式语义关系

6.41———…………15

关系影响状态

6.4.1———……………15

关系基体影响角色

6.4.2———………………………15

关系角色影响角色状态

6.4.3———…………………15

关系扮演角色

6.4.4———……………15

关系角色需要活动提供的语境

6.4.5———…………16

关系基体由基体组成

6.4.6———……………………16

关系角色由角色组成

6.4.7———……………………16

关系活动包含角色

6.4.8———………………………16

第层形式语义公理

6.51———…………17

GB/T44449—2024/ISO205342018

:

公理角色需要活动来提供语境

6.5.1———…………17

公理活动不能包含角色并扮演角色

6.5.2———……………………17

第层形式语义规则

6.61———…………17

规则角色需要活动

6.6.1———………………………17

规则包含角色的活动

6.6.2———……………………17

人造系统形式语义第层

7———2…………18

概述

7.1…………………18

第层系统概述

7.1.12………………18

第层角色概述

7.1.22………………18

第层网络概述

7.1.32………………19

第层和第层产品概述

7.1.424……………………20

位置概述

7.1.5………………………21

第层形式语义语境

7.22———…………22

语境人造系统

7.2.1———……………22

第层形式语义属性

7.32———…………23

属性网络

7.3.1———…………………23

属性产品

7.3.2———…………………23

属性实体产品

7.3.3———……………23

属性带服务的实体产品

7.3.4———…………………23

属性服务

7.3.5———…………………23

属性使用实体产品的服务

7.3.6———………………23

属性原型

7.3.7———…………………24

属性组织功能

7.3.8———……………24

属性设施功能

7.3.9———……………24

属性执行者类型

7.3.10———………………………24

属性执行者

7.3.11———……………24

属性客户

7.3.12———………………25

属性供应方

7.3.13———……………25

属性网关

7.3.14———………………25

属性分流网关

7.3.15———…………25

属性汇聚网关

7.3.16———…………25

属性包容性分流网关

7.3.17———…………………25

属性包容性汇聚网关

7.3.18———…………………26

属性排他分流网关

7.3.19———……………………26

属性排他汇聚网关

7.3.20———……………………26

属性条件

7.3.21———………………26

属性业务事件

7.3.22———…………26

属性开始事件

7.3.23———…………27

属性结束事件

7.3.24———…………27

属性决策事件

7.3.25———…………27

属性计划

7.3.26———………………27

属性项目

7.3.27———………………27

属性位置

7.3.28———………………28

GB/T44449—2024/ISO205342018

:

属性区域类型

7.3.29———…………28

属性地区城市

7.3.30———/…………28

属性州省

7.3.31———/………………28

属性国家

7.3.32———………………28

属性区域

7.3.33———………………28

属性全球

7.3.34———………………29

第层形式语义关系

7.42———…………29

关系扮演角色执行者

7.4.1———……………………29

关系扮演角色服务

7.4.2———………………………29

关系扮演角色实体产品

7.4.3———…………………29

关系流从输出到输入

7.4.4———……………………30

关系网关包含角色

7.4.5———………………………30

关系开始事件具有输出角色

7.4.6———……………30

关系结束事件具有输入角色

7.4.7———……………30

关系定义项目

7.4.8———……………31

关系项目包含场景

7.4.9———………………………31

关系项目已选择场景

7.4.10———…………………31

关系带服务的实体产品

7.4.11———………………31

关系服务包含实体产品

7.4.12———………………32

关系实体产品有原型

7.4.13———…………………32

关系组织功能由设施功能组成

7.4.14———………32

关系系统功能位置

7.4.15———……………………32

关系设施功能位置

7.4.16———……………………33

第层形式语义公理

7.52———…………33

公理系统功能不能既扮演一个角色又包含同一个角色

7.5.1———………………33

公理网络应包含两个系统功能之间的流

7.5.2———………………33

公理流只能存在于输入和输出之间或输出和输入之间

7.5.3———………………34

公理流只能从目标到源或从源到目标但不能双向存在

7.5.4———,……………34

公理在流关系中源基础应该流向目标

7.5.5———,………………34

公理在网络中扮演输出角色的基础应扮演输入角色

7.5.6———…………………34

公理开始事件是一种特殊类型的基本事件仅扮演输出角色

7.5.7———,………35

公理结束事件是一种特殊类型的基本事件仅扮演输入角色

7.5.8———,………35

公理网关应至少有一个输入和一个输出

7.5.9———………………35

公理分流网关应仅有一个输入和两个或两个以上输出

7.5.10———……………35

公理汇聚网关应具有两个或两个以上输入和仅一个输出

7.5.11———…………36

公理包容性分流网关有一个输入和两个或两个以上输出

7.5.12———…………36

公理包容性汇聚网关有一个默认输出和两个或两个以上输入

7.5.13———……36

公理排他分流网关继承包容性分流网关

7.5.14———……………37

公理排他汇聚网关继承包容性分流网关

7.5.15———……………37

第层形式语义规则

7.5.162———…………………37

制造业务系统形式语义第层

8———3……………………38

概述

8.1…………………38

第层形式语义语境

8.23———…………38

GB/T44449—2024/ISO205342018

:

全球生产系统网络形式语义第层

9———4……………38

概述

9.1…………………38

第层形式语义语境

9.24———…………39

第级形式语义属性

9.34———…………39

属性生产网络

9.3.1———……………39

属性

9.3.2———GPN…………………40

属性生产方

9.3.3———………………40

属性制造方

9.3.4———………………40

属性制品

9.3.5———…………………40

属性制品服务

9.3.6———……………40

属性

9.3.7———BOM………………41

第层形式语义表达式关系

9.44———:………………41

关系场景中

9.4.1———GPN………………………41

关系制造商生产制品

9.4.2———……………………41

关系制品有材料清单

9.4.3———……………………41

关系制品服务包含服务

9.4.4———…………………42

第层形式语义公理

9.54———…………42

公理应在生产网络中扮演生产商角色

9.5.1———…………………42

公理应在生产网络中扮演产品角色

9.5.2———……………………42

公理应在生产网络中扮演供应商角色

9.5.3———…………………42

公理供应商应有输出

9.5.4———……………………43

公理生产商应有输出

9.5.5———……………………43

公理客户应有输入

9.5.6———………………………43

公理中的设施应具有地址城市国家

9.5.7———GPN//……………44

公理的设施应位于多个国家

9.5.8———GPN………44

附录资料性本体库参考

A()Highfleet……

相似标准推荐

更多>