摘要
当前对软件构件的描述通常都采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述能力明显不足。文章用代数理论对构件的属性和行为特征进行抽象,提出了构件调用运算、协作运算和条件运算的新观点,研究了这三种运算的性质及其之间的关系,证明了一个软件系统的所有构件组成的集合与其上的调用运算和条件运算分别构成半群,与协作运算构成交换半群,把软件系统的演化归结为构件运算表达式的变化。
Currentlymaindescriptionmethodsofsoftwarecomponentsareformalizedlanguages,butthedescriptioncapabilityof theselanguagesabouttheactivity,interactionandevolutionofcomponentsisobviouslydeficient.Thispaperabstractstheattributes andperformanceofcomponentsbyusingalgebratheory,putsforwardthenewconceptsofinnovationoperation,cooperatingoperation andconditionoperation,andinvestigatespropertiesandtherelationsamongthem.Thenitprovesthatthesetofallcomponentsofa softwaresystemandtheinnovationoperationandconditionoperationofitformasemi groupandthesetandthecooperationoperation ofitformachangeablesemi group.Theoperationtheoryofsoftwarecomponentsproposedinthispaperprovidesanewmethodof softwarecomponentsdescriptionandestablishestheoreticbasisformoreresearchesoncomponentsandprovidestheoreticguidancefor softwaredevelopment.
出处
《计算机应用》
CSCD
北大核心
2004年第4期20-22,共3页
journal of Computer Applications
基金
国家自然科学基金资助项目(90203018)
关键词
软件构件
软件体系结构
代数系统
半群
演化
softwarecomponent
softwarearchitecture
algebrasystem
semi group
evolution
