参考答案：

（1）类型语言。定义接口类型和函数类型，支持通过继承已有接口来构造新的接口类型。

（2）模式语言。定义具有因果、独立、时序等关系的事件所构成的事件模式。

（3）可执行语言。包含描述构件行为的控制结构。

（4）体系结构语言。通过定义同步和通信连接来描述构件之间的事件流。

（5）约束语言。定义构件行为和体系结构所满足的形式化约束，其中约束为需要的或禁止的偏序集模式。