HOMELv004 MBTにおける「アダプタ層」の主な役割はどれか。 2026年3月13日 アダプタはモデル上の抽象的なアクションを、実際のシステムを操作する具体的なコマンドに変換する。 MBTにおける非決定性(Non-determinism)の扱いとして正しいものはどれか。 大規模なシステムをモデル化する際に有効な手法はどれか。