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

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

閲覧 情報

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

ISO/IEC 15909-1:2004は、ソフトウェア、特に並行性が重要な特性である分散および並列システムを含む離散イベントシステムの仕様、設計、および分析のための半グラフィカルモデリング言語を定義しています。この手法である高レベルのペトリネットは数学的に定義されているため、アプリケーションの明確な仕様と説明を提供するために使用できます。この手法のグラフィカルな性質により、情報またはリソースフロー、および制御フローを視覚化して、システムの動作を理解するための強力な支援を提供できます。これは実行可能な手法でもあり、仕様のプロトタイプを開発して、最も早く、最も安価な機会にアイデアをテストすることができます。この手法で記述された仕様は、実装を開始する前に、仕様に関する特性を証明するための分析方法にかけられるため、テストとメンテナンスの時間を節約できます。アプリケーションの分野は、製造、ビジネスプロセス、コンピュータソフトウェアとハ​​ードウェア、通信ネットワークと信号システム、防衛システム、メカトロニクス、郵便サービス、航空工学などの技術システムから生物学的および社会技術システムまで、幅広いシステムを網羅しています。

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