「イベント発生から5秒以内に応答が必要」という仕様をモデル化するのに適した形式はどれか。

2026年3月13日

各状態や遷移にクロック（タイマー）の概念を持たせ、時間経過に伴う制約を厳密に表現する。

モデル内で複数の遷移が同時に有効な際、ツールが一つを選ぶ仕組みを何と呼ぶか。

テスト生成時に特定の状態を「通過禁止」に設定する手法を何と呼ぶか。