シーケンス図において、メッセージの「引数」に数式や論理式を記述することはSysMLの文法上正しいか。

状態遷移図において、ある遷移が「内部遷移（Internal Transition）」である場合、exitアクションは実行されるか。