特定の時間内に応答がない場合に「タイムアウト」遷移を発生させるために必要な要素はどれか。

経過時間を保持する変数を導入し、その値が閾値を超えたことをガード条件として遷移を定義する。

関連記事

関連記事はありません。