令和元年度 秋期 システムアーキテクト試験 午前Ⅱ 問2

解説

ペトリネットモデルは，プレースとトランジションから成るグラフによって，並列に生起する事象間の同期や排他制御，資源の奪い合いなどを表現できる要求モデルです。並行処理やタイミングの問題を分析するのに適しており，並列処理を伴うシステムの仕様検証などに用いられます。

選択肢ごとの解説

• ア誤り。E-R モデルは，実体（エンティティ）と関連（リレーションシップ）によってデータ構造を表現するモデルであり，事象間の同期を表現するものではありません。
• イ誤り。データフローモデル（DFD）は，データの流れと処理の関係を表現するモデルであり，並列事象間の同期を表現する機構をもちません。
• ウ正しい。ペトリネットモデルは，並列に生起する事象間の同期を表現することが可能な要求モデルです。
• エ誤り。有限状態機械モデルは，状態とその遷移を表現するモデルであり，単一の状態遷移を扱うのに適していますが，並列事象間の同期の表現には向いていません。