HOMELv012 シーケンス図で、同期メッセージの返信を表す線の形式はどれか。 2026年3月17日 リターンメッセージは破線と開いた矢印で表現される。 状態から出ている「ガード条件のない遷移」が複数ある場合、どうなるか。 パラメトリック図における「値プロパティ」の定義場所はどこか。