论文部分内容阅读
当前时软件构件的描述均采用图形加文本的方式或形式化描述语言，这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足，无法系统科学地描述软件演化。针对该问题，文章引入用代数理论对构件的属性和行为特征进行抽象而提出的构件调用运算、协作运算和条件运算的新方法。对软件系统进行抽象化，把软件系统的演化归结为构件表达式的变化，利用代数理论对软件演化中构件的增加、删除、相互关系的修改进行系统研究，并给出将演化后的结果用图形方式表示的方法。