HOMELv013 制約ブロック内で定義される数式において、複数の変数を結びつける記号として一般的に使用されるのはどれか。 2026年3月17日 SysMLの制約（Constraint）は、通常中括弧 { } で囲まれた形式で数式やルールを記述する。 シーケンス図において、非同期シグナルの送信を示す矢印の形状はどれか。 あるブロックが持つ「操作」が、具体的な実装を持たず、サブタイプでの定義を前提としている状態を何と呼ぶか。
