AADL中component type与component implementation的区别

研究生毕设课题为形式化方法，所以最近在研究AADL建模语言，看了一些资料但是还是一知半解。对其中component type与component implementation的区别一直很困惑。通过查阅资料，现在明白了：

一个AADL组件由其组件类型（componenttype）和组件实现（component implementation）共同定义。其中组件类型描述了组件与外部环境的交互情况。它定义了组件的分类、所有与其他组件的交互点和外部可观测特性。而组件实现则描述了组件内部结构情况。即其中的子组件和子组件间的连接情况。子组件的使用使AADL模型在实例化的时候有一个层次结构。

一个组件声明可以有多个组件实现。同时，一个组件声明也可以没有任何组件实现（如果它没有包含其他子组件）