ISO-20534 › Industrial automation systems and integration - Formal semantic models for the configuration of global production networks
The following bibliographic material is provided to assist you with your purchasing decision:
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.
To find similar documents by classification:
25.040.40 (Industrial process measurement and control)
This document comes with our free Notification Service, good for the life of the document.
This document is available in either Paper or PDF format.
Document Number
ISO 20534:2018
Revision Level
1ST EDITION
Status
Current
Publication Date
Sept. 1, 2018
Committee Number
ISO/TC 184/SC 4