GB/T 20719.12-2010
産業オートメーション システムと統合プロセス仕様言語 パート 12: アウター コア (英語版)

規格番号

GB/T 20719.12-2010

言語

中国語版, 英語で利用可能

制定年

2011

出版団体

General Administration of Quality Supervision, Inspection and Quarantine of the People‘s Republic of China

最新版

GB/T 20719.12-2010

範囲

GB/T 20719 のこの部分は、GB/T 20719 の一連の公理と定義を使用して、PSL 言語の外側コアに属する概念的表現を提供します。 これらの公理は、GB/T 20719 外側コアの用語の意味論的な公理化を提供します。 GB/T 20719 のこの部分の範囲には、以下が含まれます。 アクティビティとサブアクティビティのコレクション。 個別のアクティビティと状態。 活動の発生に対する制約。 基本的な活動の並行性。 複雑な活動。 複雑なアクティビティの発生。

GB/T 20719.12-2010 規範的参照

• GB/T 16262.1 情報技術、抽象構文表記法 - (ASN.1)、パート 1: 基本的な表記法仕様
• GB/T 16656.1 産業オートメーション システムと統合 製品データの表現と交換 パート 1: 概要と基本原則
• GB/T 19114.1 産業オートメーション システムと統合工業製造管理データ パート 1; 概要
• GB/T 20719.1 産業オートメーション システムと統合プロセス仕様言語 パート 1: 概要と基礎
• GB/T 20719.11 産業オートメーション システムと統合プロセス仕様言語パート 11: PSL コア

GB/T 20719.12-2010 発売履歴

• 2011 GB/T 20719.12-2010 産業オートメーション システムと統合プロセス仕様言語 パート 12: アウター コア

GB/T 20719.12-2010 - すべての部品