HOMELv022 シーケンス図において、メッセージが自分自身を指す「自己メッセージ」のとき、実行指定(垂直バー)はどう重なるか。 2026年3月17日 自己呼び出し(再帰など)は、ライフライン上で実行指定が重なっている様子(ネスト)で表現される。 状態遷移図において、ある遷移にトリガーがなくガード条件のみがある場合、その遷移はいつ評価されるか。 パラメトリック図において、制約ブロック同士を直接バインディングコネクタで繋ぐことは可能か。