解説

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

要点まとめ

• 結論：並列動作や同期を表現できるのはペトリネットモデルである。
• 根拠：ペトリネットはトークンの流れで状態遷移を表し、並列や同期を自然に表現可能。
• 差がつくポイント：有限状態機械やE-Rモデルは並列同期表現が苦手で、ペトリネットの特徴を理解することが重要。

正解の理由

よくある誤解

解法ステップ

1. 問題文の「並列に動作する事象間の同期」というキーワードに注目する。
2. 各モデルの特徴を整理する。
3. E-Rモデルはデータ構造、データフローモデルは処理の流れ、有限状態機械は単一の状態遷移を表す。
4. ペトリネットモデルはトークンの流れで並列や同期を表現できることを確認。
5. 並列同期表現が可能なモデルとしてペトリネットモデルを選択する。

選択肢別の誤答解説

• ア: E-Rモデル
  データベースの構造を表すモデルであり、並列や同期の動作表現はできません。
• イ: データフローモデル
  処理の流れやデータの流れを表現しますが、並列の同期を詳細に表現するのは苦手です。
• ウ: ペトリネットモデル
  並列動作や同期をトークンの流れで表現できるため正解です。
• エ: 有限状態機械モデル
  状態遷移を表現しますが、並列動作や複雑な同期表現は限定的です。

補足コラム

FAQ