ISO/IEC 15909-1:2019 システムおよびソフトウェアエンジニアリング—高レベルのペトリネット—パート1：概念、定義、およびグラフィカル表記

ISO/IEC15909-1:2019の規格概要

閲覧 情報

Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation

この文書は、高レベル ペトリ ネットと呼ばれるペトリ ネット モデリング言語または手法を、その構文とセマンティクスを含めて定義します。これは、組織内および組織間で使用できる参照定義を提供し、技術およびその技術を使用して作成された仕様についての共通理解を確保します。この文書は、ペトリ ネット コンピュータ サポート ツールの開発と相互運用性も促進します。

この文書は、さまざまな同時離散イベント システム、特に分散システムに適用できます。一般的な応用分野には次のようなものがあります。

- 要件分析。

— 仕様、設計、およびテストスイートの開発。

— リエンジニアリング前の既存システムの説明。

— ビジネスプロセスとソフトウェアプロセスをモデル化する。

— 同時実行言語のセマンティクスを提供します。

— 信頼性を高めるためのシステムのシミュレーション。

— システムの動作の正式な分析。

— ペトリネットサポートツールの開発。

この文書は、航空宇宙、航空交通管制、アビオニクス、銀行業務、生物学的および化学的プロセス、ビジネス プロセス、通信プロトコル、コンピュータ ハードウェア アーキテクチャ、制御システム、データベース、防衛コマンドなど、幅広いシステムおよびプロセスの設計に適用できます。および制御システム、分散コンピューティング、電子商取引、フォールトトレラント システム、ゲーム、病院の手続き、情報システム、インターネット プロトコルとアプリケーション、法的手続き、物流、製造システム、代謝プロセス、音楽、原子力システム、オペレーティング システム、輸送システム（鉄道制御を含む）、セキュリティシステム、通信とワークフロー。

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