软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2010年
11期
2768-2781
,共14页
张敬周%任洪敏%宗宇伟%钱乐秋%朱三元
張敬週%任洪敏%宗宇偉%錢樂鞦%硃三元
장경주%임홍민%종우위%전악추%주삼원
基于构件的软件工程%构件可替换性%交互兼容性%构件行为自动机%软件演化
基于構件的軟件工程%構件可替換性%交互兼容性%構件行為自動機%軟件縯化
기우구건적연건공정%구건가체환성%교호겸용성%구건행위자동궤%연건연화
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法.另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率.
在交互協議層麵討論構件的可替換性,採用非確定性有限狀態自動機(nondeterministic finite automata,簡稱NFA)來建模構件的交互行為,在保證交互兼容性的前提下,提齣瞭按構件環境的透明度和構件交互的變化度兩維劃分的可替換性模型,給齣瞭4類可替換性的形式化定義及其之間的關繫,併基于NFA理論給齣瞭相關的驗證算法.另外,該模型以構件的替換行為而不是其全部行為作為構件替換的參照,從而使替換時有更多的候選構件可供使用,提高瞭構件複用的幾率.
재교호협의층면토론구건적가체환성,채용비학정성유한상태자동궤(nondeterministic finite automata,간칭NFA)래건모구건적교호행위,재보증교호겸용성적전제하,제출료안구건배경적투명도화구건교호적변화도량유화분적가체환성모형,급출료4류가체환성적형식화정의급기지간적관계,병기우NFA이론급출료상관적험증산법.령외,해모형이구건적체환행위이불시기전부행위작위구건체환적삼조,종이사체환시유경다적후선구건가공사용,제고료구건복용적궤솔.
