平成28年度 秋期 午前Ⅱ 問4

✓ これが正解ウペトリネットモデル

解説

並行する事象の同期を表せる要求モデルはペトリネットです。

ペトリネットは、条件や状態を表すプレースと、事象を表すトランジション、そしてプレースに置かれるトークンで、システムの振る舞いを表すモデルです。トランジションは、入力側の全てのプレースにトークンがそろったときに発火するので、複数の事象が並行して進み、ある時点でそろうのを待つという同期を自然に表せます。見分ける軸は、そのモデルが時間の流れや並行性を表すためのものかどうかです。データの構造や流れを表すモデルは、事象同士の同期を表すようにはできていません。ペトリネットは、トークンがそろうと進むという仕組みで並行と同期を表す、と覚えておくと選べます。

ほかの選択肢はなぜ違うのか

• アE-R モデル：E-R モデルは、実体とその間の関連でデータの構造を表すモデルです。データ同士がどう結び付いているかを示すもので、並行して動く事象の時間的な関係や同期を表す仕組みはもっていません。
• イデータフローモデル：データフローモデルは、データが処理の間をどう流れるかを表すモデルです。処理の順序や実行のタイミングは表さないため、並行して動く事象の同期を表現する目的には向きません。
• エ有限状態機械モデル：有限状態機械モデルは、一つのシステムがある状態から別の状態へ移る様子を表すモデルです。基本の形は一度に一つの状態をとるため、並行して動く複数の事象の同期を直接表すのは得意ではありません。