Question

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

Accepted Answer

ペトリネットモデル。ペトリネットは，プレース，トランジション，トークンを用いて並行・並列に生起する事象とその同期を表現できるモデルである。E−Rモデルはデータ構造，データフローモデルはデータの流れ，有限状態機械モデルは単一の状態遷移を表すもので，並列事象の同期表現には適さない。

Answer

E−Rモデル

Answer

データフローモデル

Answer

ペトリネットモデル

Answer

有限状態機械モデル