HOMELv011 ステートマシン図において、状態遷移のトリガーとなる「時間イベント（Time Event）」を表すキーワードはどれか。 2026年1月25日 after（指定時間の経過）やat（指定時刻）が時間イベントとして使用されるが、相対的な経過時間を表すafterが一般的である。 UMLにおいて「派生プロパティ（Derived Property）」を表すために、属性名の前に付ける記号はどれか。 OCLのブール演算において、排他的論理和（XOR）を表す演算子はどれか。
