HOMELv013 状態遷移の表記「event [guard] / action」において、遷移が発生した後に実行される「action」の名称はどれか。 2026年3月17日 スラッシュの後に記述される「action」は、遷移に伴うエフェクト(効果)です。 フルポートにおいて、そのポート自体が持つ属性や振る舞いを定義するために使用されるものはどれか。 ある要求が他の要求のコピーであることを示し、マスター要求との同期を維持する関係はどれか。