並列に生起する事象間の同期を表現することが可能な、ソフトウェアの要求モデルはどれか。

選択肢

• アE-Rモデル
• イデータフローモデル
• ウペトリネットモデル
• エ有限状態機械モデル

正解と解説

正解：ウ ペトリネットモデル

ペトリネットは、プレース（状態）とトランジション（事象）、その間を移動するトークンでモデルを表す。一つのトランジションが複数の入力プレースにトークンが揃うまで発火しないという性質により、並行して進む複数の事象の合流や同期を自然に表現できる。デッドロックの検出など解析にも用いられる。

選択肢ごとの解説

• アE-Rモデルはデータの実体と関連を表す静的モデルで、事象の同期は扱えない。
• イデータフローモデルはデータの流れを示すが、時間的な同期は表現しない。
• ウ正しい。ペトリネットはトークンの合流により並行事象の同期を表現できる。
• エ有限状態機械は単一の状態遷移を表すモデルで、並行事象の同期表現は不得手である。

同じ分野の他の問題

• 並列に動作する事象間の同期を表現することが可能な、ソフトウェアの要求モデルはどれか。2016年度 秋期 午前II 問4
• 要件定義において，システムが提供する機能単位と利用者又は外部システムとの間の相互作用や，システム内部と外部との境界を明示…2025年度 春期 午前II 問13
• DFDで用いられる図形要素だけの組みはどれか。2025年度 春期 午前II 問1
• スタンフォード大学ハッソ・プラットナー・デザイン研究所によるデザイン思考の説明はどれか。2024年度 春期 午前II 問13
• UML 2.0のステートマシン図の記法に適合している図はどれか。2023年度 春期 午前II 問9