论文部分内容阅读
当前对软件构件的描述均采用图形加文本的方式或形式化描述语言，这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足，无法系统地科学地描述软件演化。软件演化是一个复杂的过程，这种复杂性决定了对软件演化的研究应从软件体系结构这一宏观层面入手。针对该问题，文章引入用代数理论对构件的属性和行为特征进行抽象而提出的用于描述体系结构的构件调用运算、协作运算和条件运算的新方法。该方法能够描述任意软件系统的体系结构和支持软件演化。在此基础上证明了构件运算系统是一个完整的代数系统，能够描述任意软件系统的体系结构，并探