De Alfaro和Henzinger的接口自动机（IA）和Nyman等人最近IA和Larsen模态转换系统（MTS）的组合IOMTS为建立了用于指定系统组件接口的框架。然而，当组件应满足多个接口，而Larsen的MTS连接为非封闭和Beneš等人关于分离MTS的联合不治疗内部过渡。此外，IOMTS平行成分显示出成分缺陷。本文定义了连词（以及析取），并证明算子是“正确”，即最大下限（最小上限）wrt.IA-和相应的。MTS重新定义。作为其主要贡献，一种新的界面理论称为引入了模态接口自动机（MIA）：MIA是IOMTS的丰富子集具有明确的输出-自定义转换，而输入-转换始终是隐式允许，具有组合并行、连接和析取算子，并允许IA的嵌入比Nyman的更简单。因此，它修复了相关工作的缺点，而不限制设计师确定性界面，正如Raclet等人的模态界面理论所做的那样。
