Sky Bear Technical Standards - Home
Search
×
FR

Placeholder headline

This is just a placeholder headline

TEMA 2026 Edition – Online Subscription Only

$

BUY NOW

Placeholder headline

This is just a placeholder headline

API RP 15SIH, 2nd Edition: Installation and Handling of Spoolable Reinforced Plastic Line Pipe

$

158

BUY NOW

Placeholder headline

This is just a placeholder headline

API RP 754, 4th Edition: Process Safety Performance Indicators for the Refining and Petrochemical Industries

$

393

BUY NOW

Placeholder headline

This is just a placeholder headline

ASME B31.1-2020: Power Piping

$

668

BUY NOW

Placeholder headline

This is just a placeholder headline

ASME B31.1-2022: Power Piping

$

668

BUY NOW

ISO 20534:2018

ISO 20534:2018 Industrial automation systems and integration – Formal semantic models for the configuration of global production networks

CDN $438.00

Description

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.

Edition

1

Published Date

2018-09-19

Status

PUBLISHED

Pages

121

Language Detail Icon

English

Format Secure Icon

Secure PDF

Abstract

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.

Previous Editions

Can’t find what you are looking for?

Please contact us at: