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

選択肢

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

正解と解説

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

ペトリネットは、プレース（状態）とトランジション（事象）を有向辺で結び、トークンの移動で振る舞いを表すモデルである。1つのトランジションが複数の入力プレースすべてにトークンが揃うまで発火しない性質により、並行して進む複数の事象の合流や同期、資源の排他を自然に表現できる。

選択肢ごとの解説

• アE-Rモデルはデータの実体と関連を表すもので、振る舞いは表せない。
• イデータフローモデルはデータの流れと変換を表すが、並行事象の同期は表現できない。
• ウ正しい。並行に生起する事象の同期を表現できるのがペトリネットモデルである。
• エ有限状態機械は一時に1つの状態しか取れず、並行動作の同期の表現には向かない。

同じ分野の他の問題

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