论文部分内容阅读
基于体系结构的软件开发方法以构件作为最小组装粒度，构件通过其自身定义的接口与外界进行交互。连接件作为一种特殊的构件，它主要负责管理构件之间信息的交换。构件与连接件之间通过接口进行数据的传递，因此，如何从体系结构层次上定义构件及连接件接口的交互规则是构件组装的关键所在。在现有动态体系结构描述框架的基础上，定义了端口以及通道的连接规则，并结合实际的案例，采用动态体系结构描述语言D-ADL进行描述，具体说明了这些规则的应用。从而为系统行为的形式化分析、验证和仿真奠定了基础。