HOMELv011 シーケンス図において、生存線の存在期間を示す垂直の破線を何と呼ぶか。 2026年3月17日 垂直の破線自体がそのインスタンスの存在期間を表す生存線である。 状態遷移図で、複数の遷移の合流点として機能する小さな黒丸の疑似状態はどれか。 制約パラメータ同士を接続して複雑な計算式を構成することは可能か。