计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
21期
36-39,45
,共5页
基于构件的软件工程%软件构件%构件组装%构件适应%软件复用%形式化描述
基于構件的軟件工程%軟件構件%構件組裝%構件適應%軟件複用%形式化描述
기우구건적연건공정%연건구건%구건조장%구건괄응%연건복용%형식화묘술
构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题.
構件適應技術是基于構件的軟件工程中一箇很難解決的問題,分析瞭三種構件適應結構的應用條件,採用瞭形式化語義的方法描述和推導瞭與構件以及構件適應相關的問題,根據構件描述與應用需求描述動態地選擇不同的適應層次來適應構件,從被適應的構件描述中推導齣複閤構件的描述,為構件適應的形式化分析、組裝正確性檢驗提供瞭保證,併列齣瞭一些值得進一步研究的問題.
구건괄응기술시기우구건적연건공정중일개흔난해결적문제,분석료삼충구건괄응결구적응용조건,채용료형식화어의적방법묘술화추도료여구건이급구건괄응상관적문제,근거구건묘술여응용수구묘술동태지선택불동적괄응층차래괄응구건,종피괄응적구건묘술중추도출복합구건적묘술,위구건괄응적형식화분석、조장정학성검험제공료보증,병렬출료일사치득진일보연구적문제.
