HOMELv010 シーケンス図のライフラインの最下部に描かれる「×」印が意味するものはどれか。 2026年3月17日 ×印(Destruction Occurrence)は、そのライフラインが示すインスタンスのライフサイクル終了を意味する。 状態遷移が発生した際に、遷移の途中で呼び出される振る舞いを記述するラベルはどれか。 制約ブロックが持つパラメータのうち、外部から計算結果として参照されるものを定義する方向はどれか。