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

選択肢

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

正解と解説

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

ペトリネットは、プレース、トランジション、トークンを用いて状態の遷移を表すモデルで、複数のプレースからトークンが揃って初めてトランジションが発火するという性質により、並行して動く事象どうしの同期や排他を自然に表現できる。E-Rモデルはデータ構造、データフローモデルはデータの流れ、有限状態機械は単一の逐次的な状態遷移を表す。

選択肢ごとの解説

• アデータの実体と関連を表すモデルであり、同期の表現には用いない。
• イデータの流れを表すモデルで、並行事象の同期は表現できない。
• ウ正しい。トークンの発火条件によって並行事象の同期を表現できる。
• エ単一の逐次的な状態遷移を表すモデルで、並行動作の同期は扱えない。

同じ分野の他の問題

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