HOMELv016 パラメトリック図において、バリュープロパティを「定数」として扱いたい場合、どの制約を付与すべきか。 2026年3月17日 {readOnly}制約をプロパティに付けることで、シミュレーション中などに値が変更されないことを保証できる。 シーケンス図で「opt」結合フラグメントを使用する場合、その内部のメッセージが送信される条件はどれか。 ブロック定義図において、関連(Association)に中央に「黒塗りの菱形」がある場合、それはSysMLとして正しいか。