ISO/IEC 15909-2:2011 システムおよびソフトウェアエンジニアリング—高レベルのペトリネット—パート2：転送形式

ISO/IEC15909-2:2011の規格概要

閲覧 情報

Systems and software engineering — High-level Petri nets — Part 2: Transfer format

ISO/IEC 15909-2:2011 は、ISO/IEC 15909-1 で概念的かつ数学的に定義されているペトリ ネット用の XML ベースの転送形式を定義します。この転送形式により、異なるペトリ ネット ツール間および異なる関係者間でペトリ ネットを交換できるようになります。さらに、ISO/IEC 15909-2:2011 では、ペトリ ネットの詳細なグラフィック外観を定義するためのいくつかの概念と XML ベースの構文を定義しています。

ISO/IEC 15909-2:2011 の焦点は、配置/遷移ネット、ハイレベル ペトリ ネット、および対称ネットの転送フォーマットにあります。ただし、プレゼンテーションは将来の拡張に対応できるように構成されているため、ペトリ ネットの他のバージョンを後で追加できます。ペトリ ネット タイプ定義と呼ばれるこの拡張メカニズムの正確な定義は、ISO/IEC 15909-2:2011 では定義されていません。 ISO/IEC 15909-3 で定義されます。

この転送形式は、ハイレベル ペトリ ネットで開発されたシステムの仕様をツール間で転送するために使用され、チームでのシステム開発を容易にします。

ISO/IEC 15909-2:2011 は、ペトリ ネット ツールの開発者向けのリファレンスとして作成されています。また、ペトリ ネットの新しいバージョンやバリアントを定義する研究者にとっても役立ちます。

※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。