ISO/IEC 15909-3:2021 システムとソフトウェアエンジニアリング—高レベルのペトリネット—パート3：拡張と構造化メカニズム

ISO/IEC15909-3:2021の規格概要

閲覧 情報

Systems and software engineering — High-level Petri nets — Part 3: Extensions and structuring mechanisms

このドキュメントは、ISO/IEC 15909-1で提案されている定義に適用される、ペトリネットの強化、拡張、および構造化メカニズムを定義します、このドキュメントは、ISO/IEC 15909-1で定義されているものとの互換性を維持しながら、新しい種類のペトリネットとその相互運用性の定義を容易にします、このドキュメントは、共通のエンリッチメント、拡張機能を定義することにより、新しいペトリネットバリアントの設計者向けのリファレンスとして作成されています、このドキュメントは、さまざまな同時ディスクリートイベントシステム、特に分散システムに適用できます、アプリケーションの一般的な分野は次のとおりです、—要件分析; —仕様、設計、およびテストスイートの開発; —リエンジニアリング前の既存のシステムの説明; —ビジネスおよびソフトウェアプロセスのモデリング; —同時言語のセマンティクスの提供; —システムのシミュレーション信頼性を高めるため; —システムの動作の正式な分析; —およびPetriネットサポートツールの開発、このドキュメントは、航空宇宙、航空交通管制、航空電子工学、銀行業務など、幅広いシステムおよびプロセスの設計に適用できます、生物学的および化学的プロセス、ビジネスプロセス、通信プロトコル、コンピューターハードウェアアーキテクチャ、制御システム、データベース、防衛コマンドおよび制御システム、分散コンピューティング、電子商取引、障害耐性システム、ゲーム、病院手順、情報システム、インターネットプロトコルおよびアプリケーション、法務プロセス、ロジスティクス、製造システム、代謝プロセス、音楽、原子力システム、オペレーティングシステム、輸送システム（鉄道制御を含む）、セキュリティシステム、電気通信、ワークフロー、

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