摘要
当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统科学地描述软件演化。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的构件调用运算、协作运算和条件运算的新方法。对软件系统进行抽象化,把软件系统的演化归结为构件表达式的变化,利用代数理论对软件演化中构件的增加、删除、相互关系的修改进行系统研究,并给出将演化后的结果用图形方式表示的方法。
Currently the main description methods of software components are formalize languages,but the description capability of these languages about activity,interaction and evolution of components is deficiency obviously,Software evolution cannot be described by systemic and scientific methods.This paper abstracts the attributes and performance of components by using algebra theory,puts forward the new methods of innovation operation,investigates operation and cooperating operation and condition operation and relations among them.Abstracts software systems,attributes the evolution of software system to the change of component expression,uses algebra theory to research the evolution process of software system,and provides methods that express the results of evolution by graphs.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第9期46-48,92,共4页
Computer Engineering and Applications
基金
湖南省自然科学基金资助项目(编号:03JJY6022)
关键词
构件
运算
软件演化
component,operations,software evolution