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

選択肢

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

正解と解説

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

ペトリネットは、プレース（状態）とトランジション（事象）を有向アークで結び、トークンの移動で状態変化を表すモデルである。1つのトランジションが複数の入力プレースすべてにトークンがそろって初めて発火する性質をもつため、並行して進む処理の待ち合わせ（同期）や資源の競合を自然に表現できる。有限状態機械では並行性の表現に状態数が爆発しやすい点を補う。

選択肢ごとの解説

• アE-Rモデルはデータの実体と関連を表すデータモデル。
• イデータフローモデルはデータの流れと変換を表すが、同期の表現には向かない。
• ウ正解。トークンの発火条件によって並行事象の同期を表現できる。
• エ有限状態機械は逐次的な状態遷移の表現が中心で、並行性の記述には適さない。

同じ分野の他の問題

• 並列に生起する事象の間の同期を表現することが可能な、ソフトウェアの要求モデルはどれか。2024年度 秋期 午前II 問17
• 表の状態遷移に従って動作する組込みシステムがある。最初の状態がS0の場合に、a→b→c→d→aの順序でイベントが発生する…2023年度 秋期 午前II 問19
• 次の状態遷移図に従って動作する組込みシステムがある。最初の状態がS0の場合に、最後の状態がS4になるイベントの発生順序は…2022年度 秋期 午前II 問22
• イベント駆動型のアプリケーションプログラムにおける、時系列でのオブジェクト間の相互作用を設計するのに有用なものはどれか。2022年度 秋期 午前II 問19
• UML 2.0において、オブジェクト間の相互作用を時間の経過に注目して記述するものはどれか。2020年度 10月試験 午前II 問18