基于组合连接器的潜在无限动态结构的规范

摘要

动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题.基于体系结构描述语言Wright,提出了一种规范潜在无限动态结构的形式化方法.为了便于使用递归机制,引入了组合连接器和动态角色的概念,从而实现了动态体系结构的逐层展开.实例说明,该方法能为动态体系结构的设计提供一种增量式的开发方式,适用于连接器重用的目的.