システムアーキテクト 2019年 午前2 問02

並列に生起する事象間の同期を表現することが可能な、ソフトウェアの要求モデル【午前2 解説】

要点まとめ

• 結論：並列に発生する事象の同期を表現できるのはペトリネットモデルです。
• 根拠：ペトリネットはトークンの流れで並列処理や同期を自然に表現可能なグラフモデルだからです。
• 差がつくポイント：有限状態機械やデータフローモデルは並列の同期表現が苦手で、ペトリネットの特徴を理解しているかが鍵です。

正解の理由

よくある誤解

解法ステップ

1. 問題文の「並列に生起する事象間の同期」に注目する。
2. 各モデルの特徴を思い出す。
3. E-Rモデルはデータ構造の表現、同期表現は不得意。
4. データフローモデルは処理の流れを示すが同期は曖昧。
5. 有限状態機械モデルは状態遷移を表すが並列同期は苦手。
6. ペトリネットモデルは並列処理と同期をトークンの流れで表現可能。
7. よって、ペトリネットモデルを選択する。

選択肢別の誤答解説

• ア: E-Rモデル
  データベースの概念モデルであり、事象の同期や並列性を表現する目的には適しません。
• イ: データフローモデル
  処理の流れを示すが、並列に発生する事象の同期を詳細に表現することは困難です。
• ウ: ペトリネットモデル
  並列処理や同期をトークンの流れで表現できるため、正解です。
• エ: 有限状態機械モデル
  状態遷移を表現するが、複数の並列事象の同期を表現するのは難しいです。

補足コラム

FAQ