HOMELv016 シーケンス図で「opt」結合フラグメントを使用する場合、その内部のメッセージが送信される条件はどれか。 2026年3月17日 opt（オプション）は、ガード条件が満たされた場合にのみ実行される単一のパスを定義する。 状態遷移図において、ある状態の内部に「entry / アクションA」と「exit / アクションB」がある。この状態へ遷移し、すぐに別の状態へ遷移した場合、アクションの実行順序はどうなるか。 パラメトリック図において、バリュープロパティを「定数」として扱いたい場合、どの制約を付与すべきか。
