软件体系结构抽象模型

摘要

针对软件体系结构描述语言(Architecture Description Languages,ADLs)在动态、可进化和可扩充特征描述能力的不足,用抽象代数理论对组件、连接器和软件体系结构的属性和行为特征进行抽象,提出了组件连接"运算"这一新的观点,给出了在不同连接运算下的软件体系结构范式和事件依赖的软件体系结构范式定理.该文提出的较完整的软件体系结构理论体系,为进一步研究软件体系结构和基于软件体系结构的相关研究奠定了理论基础.