Projekta Nr.ISO 20534:2018
Nosaukums<p>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.</p> <p>This document specifies the following:</p> <p>— the formal sematic model approach;</p> <p>— hierarchical levels for property specialization;</p> <p>— contexts for each level;</p> <p>— key properties at each level;</p> <p>— property relationships;</p> <p>— property axioms;</p> <p>— applicability rules.</p> <p>The following are within the scope of this document:</p> <p>— production networks for discrete product manufacture;</p> <p>— formal semantics for the configuration of global production networks;</p> <p>— system level formal semantics;</p> <p>— designed system formal semantics;</p> <p>— manufacturing business system formal semantics;</p> <p>— global production systems network formal semantics.</p> <p>The following are outside the scope of this document:</p> <p>— in-factory formal semantics;</p> <p>— formal semantics for the operation of global production networks.</p>
Reģistrācijas numurs (WIID)68274
Darbības sfēra<p>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.</p> <p>This document specifies the following:</p> <p>— the formal sematic model approach;</p> <p>— hierarchical levels for property specialization;</p> <p>— contexts for each level;</p> <p>— key properties at each level;</p> <p>— property relationships;</p> <p>— property axioms;</p> <p>— applicability rules.</p> <p>The following are within the scope of this document:</p> <p>— production networks for discrete product manufacture;</p> <p>— formal semantics for the configuration of global production networks;</p> <p>— system level formal semantics;</p> <p>— designed system formal semantics;</p> <p>— manufacturing business system formal semantics;</p> <p>— global production systems network formal semantics.</p> <p>The following are outside the scope of this document:</p> <p>— in-factory formal semantics;</p> <p>— formal semantics for the operation of global production networks.</p>
StatussStandarts spēkā
ICS grupa25.040.40