构件运算与软件演化研究
当前对软件构件的描述通常都采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述能力明显不足.文章用代数理论对构件的属性和行为特征进行抽象,提出了构件调用运算、协作运算和条件运算的新观点,研究了这三种运算的性质及其之间的关系,证明了一个软件系统的所有构件组成的集合与其上的调用运算和条件运算分别构成半群,与协作运算构成交换半群,把软件系统的演化归结为构件运算表达式的变化.
软件构件、软件体系结构、代数系统、半群、演化
24
TP311(计算技术、计算机技术)
国家自然科学基金90203018
2004-05-14(万方平台首次上网日期,不代表论文的发表时间)
共3页
20-22