HOMELv020 状態遷移図において、ある遷移が「内部遷移（Internal Transition）」である場合、exitアクションは実行されるか。 2026年3月17日 内部遷移は状態を脱出しないため、entryおよびexitアクションは一切呼び出されない。 アクティビティ図において、「割り込み可能領域（Interruptible Activity Region）」を抜ける際に、内部のトークンはどうなるか。 シーケンス図において、メッセージの「引数」に数式や論理式を記述することはSysMLの文法上正しいか。
