HOMELv014 シーケンス図において、2つのイベント間の時間を測定し、その値に名前を付ける要素はどれか。 2026年3月17日 時間観測は、メッセージの送受信などの特定のタイミングを変数として記録するために使用される。 状態遷移図において、ガード条件が [else] と記述されている場合、いつその遷移が実行されるか。 パラメトリック図において、制約プロパティ(Constraint Property)が参照できるのはどれか。