システムアーキテクト暗記無料で始める

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

システムアーキテクト試験／2016年度 秋期 午前Ⅱ 問4／業務モデリング / 形式的モデル

選択肢

正解と解説

正解：ウ ペトリネットモデル

ペトリネットは、プレース、トランジション、トークンを用いて状態の遷移を表すモデルで、複数のプレースからトークンが揃って初めてトランジションが発火するという性質により、並行して動く事象どうしの同期や排他を自然に表現できる。E-Rモデルはデータ構造、データフローモデルはデータの流れ、有限状態機械は単一の逐次的な状態遷移を表す。

この問題を解く（同じ分野をあと9問） →

選択肢ごとの解説

出典：平成28年度 秋期 システムアーキテクト試験 午前Ⅱ 問4（IPA）原本の紙面を見る（IPA 問題冊子より）

この問題に出た用語

同じ分野の他の問題

出典・参考

最終更新：2026-10-06／解説・選択肢ごとの解説は資格暗記が独自に作成しています。問題文と選択肢の出典は上記のとおりです。