Rapide是一种可执行ADL，其目的在于通过定义并模拟基于事件的行为对分布式并发系统建模。Rapide是由5种子语言构成。以下选项中的语言均为Rapide语言的是（）

A . 类型语言、模式语言、约束语言、可执行语言

B . 状态语言、模式语言、约束语言、体系结构语言

C . 类型语言、结构语言、约束语言、可执行语言

D . 状态语言、结构语言、约束语言、体系结构语言