ISO/IEC 15909-2:2011
システムおよびソフトウェア エンジニアリング、高度なペトリ ネット、パート 2: 変換フォーマット
- 規格番号
- ISO/IEC 15909-2:2011
- 制定年
- 2011
- 出版団体
- International Organization for Standardization (ISO)
- 状態
- に置き換えられる
- ISO/IEC 15909-2:2011/Cor 1:2013
- 最新版
- ISO/IEC 15909-2:2011/Cor 1:2013
- 範囲
- ISO/IEC 15909 のこの部分は、ISO/IEC 15909-1 で概念的かつ数学的に定義されているペトリ ネット用の XML ベースの転送形式を定義します。 この転送形式により、異なるペトリ ネット ツール間および異なる関係者間でペトリ ネットを交換できるようになります。 さらに、ISO/IEC 15909 のこの部分では、ペトリ ネットの詳細なグラフィック外観を定義するためのいくつかの概念と XML ベースの構文が定義されています。 ISO/IEC 15909 のこの部分の焦点は、配置/遷移ネット、ハイレベル ペトリ ネット、および対称ネットの転送フォーマットにあります。 ただし、プレゼンテーションは将来の拡張に対応できるように構成されているため、ペトリ ネットの他のバージョンを後で追加できます。 ペトリ ネット タイプ定義と呼ばれるこの拡張メカニズムの正確な定義は、ISO/IEC 15909 のこの部分では定義されていません。 ISO/IEC 15909-3 で定義されます。 この転送形式は、ハイレベル ペトリ ネットで開発されたシステムの仕様をツール間で転送するために使用され、チームでのシステム開発を容易にします。 ISO/IEC 15909 のこの部分は、ペトリ ネット ツールの開発者向けのリファレンスとして作成されています。 さらに、ペトリ ネットの新しいバージョンやバリアントを定義する研究者にとっても役立ちます。
ISO/IEC 15909-2:2011 発売履歴
- 2013 ISO/IEC 15909-2:2011/Cor 1:2013 システムおよびソフトウェア エンジニアリング、高度なペトリ ネット、パート 2: 変換フォーマット、技術訂正事項 1
- 2011 ISO/IEC 15909-2:2011 システムおよびソフトウェア エンジニアリング、高度なペトリ ネット、パート 2: 変換フォーマット
- 2009 ISO/IEC 15909-2:2009 ソフトウェアおよびシステムエンジニアリング、高度なペトリーネット、パート 2: 変換フォーマット
