构件运算的完整性证明及性质  

The Integrity Proof & Character of Component Operations

作　　者：李雄[1] 张友生[1] 

机构地区：[1]湖南师范大学计算机应用技术研究中心,长沙410081

出　　处：《计算机工程与应用》2006年第23期24-26,57,共4页Computer Engineering and Applications

基　　金：湖南省自然科学基金资助项目(编号:03JJY6022)

摘　　要：当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统地科学地描述软件演化。软件演化是一个复杂的过程,这种复杂性决定了对软件演化的研究应从软件体系结构这一宏观层面入手。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的用于描述体系结构的构件调用运算、协作运算和条件运算的新方法。该方法能够描述任意软件系统的体系结构和支持软件演化。在此基础上证明了构件运算系统是一个完整的代数系统,能够描述任意软件系统的体系结构,并探讨了构件运算的相关性质。Currently the main description methods of software components are formalization languages,but the description capability of these languages about activity,interaction and evolution of components is deficient obviously.Software evolution cannot be described by systemic and scientific methods.Software evolution is a complex process,this complexity decides that research of software evolution should be begun with macroscopic level.The paper abstracts the attributes and performance of components by using algebra theory,puts forward the new methods of innovation operation,investigates operation ＆ cooperating operation ＆ condition operation and relations among them for describing software architecture.The methods can describe architecture of any software and support software evolution.Hereon,we prove that the operations system of components is an integrated algebra system and can describe architecture of any software,and research the relational character of component operations.

关 键 词：构件 体系结构 运算 完整性 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]