この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
1 スコープ
この文書は、グローバルな生産ネットワークの構成をサポートするために必要なビジネス固有の知識モデルを支える製造参照モデルの開発をサポートする、形式的なロジックベースの概念特化アプローチを指定します。
この文書では次のことを指定します。
- 正式な意味モデルアプローチ。
- プロパティの特化のための階層レベル。
- 各レベルのコンテキスト。
- 各レベルの主要なプロパティ。
- 財産関係。
- プロパティ公理。
- 適用ルール。
以下はこの文書の範囲内です。
- ディスクリート製品製造のための生産ネットワーク。
- グローバルな実稼働ネットワークの構成のための形式的セマンティクス。
- システムレベルの形式的意味論。
- 設計されたシステムの形式的意味論。
- 製造ビジネスシステムの形式的意味論。
- グローバルな生産システムのネットワーク形式的セマンティクス。
以下はこのドキュメントの範囲外です。
- 工場内の形式的意味論。
- グローバルな生産ネットワークの運用のための形式的セマンティクス。
1 Scope
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.