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

Foreword

This document is in accordance with the provisions of GB/T 1.1-2020 "Guidelines for standardization work Part 1: Structure and drafting rules for standardization documents" Drafting.

This document is equivalent to ISO 20534:2018 "Formal semantic model for the configuration of industrial automation systems and integrated global production networks".

Introduction

In the process of responding to change, when making decisions on complex and multifaceted issues, the goal of competitive manufacturing is to fully understand the various possible Understand how to best configure and reconfigure global production networks to respond to rapidly changing product and service demands.

This is a complex problem domain. Decisions need to consider a variety of existing products and services, a variety of new products and services, and adapt to new technologies and economic, social, environmental and political requirements and the impact of current production and service loads, in coordination with a global production network, taking into account local Factors such as supplier capabilities, transportation constraints, factory energy usage and production load forecasts.

While current information and communication technology (ICT) tools play an important role in supporting such business development decisions, A highly integrated, interdisciplinary, holistic solution is more conducive to long-term competitiveness (Huber.2014). Part of the solution to this problem is to use Semantic technology is used, which provides a formal logical basis for a consistent understanding of semantics. This has been recognized as providing support for cross-domain the potential for interoperability among related applications (Borgo et al. [23]; Chungoora et al. [24]).

A method is used to explain the meaning of a concept, its relationship with other concepts, and the constraints and rules that apply to it.

The scope of application of formal semantics can be divided into domain ontology, basic ontology and reference ontology. Domain ontology is often limited to a very narrow scope.

The basic ontology is developed to define the semantics of all things, but it is too general to be used in Provide positive constraints for any specific domain of interest. The purpose of a manufacturing-oriented reference ontology is to bridge the gap between these two and provide Interoperability is effectively supported, but only in the target domain or area of interest, namely the manufacturing sector. This document provides a way to support global A formal semantic modeling approach for production network configuration contributes to this manufacturing reference ontology. The interpretation used in the document is derived from ISO 15531 and ISO 18629.

This paper focuses on the issues in the manufacturing industry on how to design and configure global production networks (GPNs) to produce and operate new physical it does not involve any operational aspects of production facilities, but models the flow relationships between facilities in a production network.

Future standards can build on this document to develop standard semantic models for smart factory systems.

The approach adopted is based on exploiting the reification power of formal logic in order to gradually develop and constrain concepts and their relationships, describing them at a basic level.

The modeling approach is based on the system functional context and is structured in a sequential manner.

The use of formal logic enables these semantic models to capture not only hierarchical relationships, and is able to capture and computationally exploit the constraints and rules defined in these models.

The layers described in this document differ from the hierarchical operational functions of IEC 62264.This document focuses on the layers of concept specialization.

The key concept of type system context is then refined to the specifics of manufacturing business systems. This is consistent with the hierarchical operation function of IEC 62264.

The latter focuses on the business operation hierarchy from high-level production management to the shop floor.

This document uses some common concepts in supply chain models, such as the Supply Chain Operations Reference (SCOR) model (Supply Chain Council.2014).

SCOR has limited relevance to this document as operational support is beyond its scope.

The concepts in ISO 19440 have the greatest synergy with this document, sharing a business process-oriented approach to enterprise modeling.

Model views are provided to support the identification of related object hierarchies and relationships between different classes and subclasses, but this document does not cover system functions.

The context starts with which all subsequent hierarchies and relationships are constructed, including semantic constraints and rules.

Although this document differs from IEC/T R62541 OPC Unified Architecture, they both provide for the interoperability of multi-vendor systems.

IEC/T R62541-1 provides a standard interface to facilitate the development of multi-vendor seamless interoperable applications.

As shown in Figure 1, there are many semantic models that influence decisions about the configuration and reconfiguration of global production networks. This document provides a comprehensive overview of all of these semantic models.

The development of these models provides a foundation for the methodology, but the focus needs to be on the production network concept shown in Figure 1.

Models for services, projects, risks, locations, scenarios and products are outside the scope of this document.

By making use of existing standards in these areas wherever possible, the full value of this document can be realized and all content covered in this scope of information can be fully realized.

Figure 1.The scope of reference information required to support production network configuration decisions

Industrial Automation Systems and Integration Formal semantic model of global production network configuration

1 Scope

This document specifies a formal logic-based concept specification method to support the development of manufacturing reference models that support the basis for the necessary business-specific knowledge models required for the configuration of global production networks.

This document specifies the following.

---Formal semantic model approach;

---Level of attribute concretization;

---Context at all levels;

---Key attributes of each level;

---Attribute relationship;

---Attribute axiom;

---Applicability rules.

The following contents fall within the scope of this document.

---Production network for discrete product manufacturing;

---Formal semantics of global production network configuration;

---System level formal semantics;

---Formal semantics of artificial systems;

---Formal semantics of manufacturing business system;

---Formal semantics of global production system networks.

The following are outside the scope of this document.

---Factory form semantics;

---Formal semantics for the operation of global production networks.

2 Normative references

This document has no normative references.

3 Terms and definitions

The following terms and definitions apply to this document.

The ISO and IEC terminology databases can be accessed at the following URLs.

activity

Function

A function that transforms input (3.26) to output (3.38).