接口模块是一种特殊类型的模块。接口模块用于端口（Port）的类型，用来支持嵌套的端口。
接口模块不能有行为，但是有操作（Operation）或接收（Reception）。
接口模块也不能有内部的部件。接口模块可以有端口、值属性或流属性。而拥有的端口的类型还必须是接口模块。
接口模块一般定义在某个包或模型库中，用于代理端口（Proxy）的类型（代理端口的类型只能是接口模块）。
MBSES用户使用说明书