工业自动化系统和集成.全球生产网络配置的形式语义模型

[中文适用范围]： 本文件指定了一种基于正式逻辑的概念专业化方法，以支持制造参考模型的开发，该模型支撑支持全球生产网络配置所需的必要业务特定知识模型。 本文件规定了以下内容： ——正式语义模型方法； ——财产专业化的层级； ——每个级别的背景； ——每个级别的关键属性； ——财产关系； ——财产公理； ——适用规则。 以下内容属于本文件的范围： ——离散产品制造的生产网络； ——全球生产网络配置的形式语义； ——系统级形式语义； ——设计系统形式语义； ——制造业务系统形式语义； ——全球生产系统网络形式语义。 以下内容超出了本文件的范围： ——工厂内形式语义； ——全球生产网络运行的形式语义。 [外文原描述]： This document specifies a formal logic-based concept specialization approach to support the development of manufacturing reference models that underpin the necessary business specific knowledge models needed to support the configuration of global production networks. This document specifies the following: — the formal sematic model approach; — hierarchical levels for property specialization; — contexts for each level; — key properties at each level; — property relationships; — property axioms; — applicability rules. The following are within the scope of this document: — production networks for discrete product manufacture; — formal semantics for the configuration of global production networks; — system level formal semantics; — designed system formal semantics; — manufacturing business system formal semantics; — global production systems network formal semantics. The following are outside the scope of this document: — in-factory formal semantics; — formal semantics for the operation of global production networks.