構(gòu)件系統(tǒng)演化一致性判定方法研究
發(fā)布時間:2021-01-16 01:49
軟件需求的不斷變更是如今的常態(tài),為了既滿足用戶需求又適應(yīng)系統(tǒng)依賴環(huán)境的改變,現(xiàn)有的構(gòu)件系統(tǒng)就必須要進行改變演化,使之成為業(yè)務(wù)功能更強大、滿足需求變動和適應(yīng)系統(tǒng)環(huán)境的構(gòu)件系統(tǒng)。演化后的構(gòu)件系統(tǒng)中各個構(gòu)件彼此能夠無冗余的按照一定次序正常交互,且可以完成演化前的任務(wù),達到用戶的要求,即滿足一致性是演化操作正確執(zhí)行的必要條件。一致性判定選取的判定元素單一、不適用于演化階段以及各個構(gòu)件是否按照一定次序正常交互的判定局限性是構(gòu)件系統(tǒng)演化一致性判定需要解決的問題;跇(gòu)件的軟件開發(fā)方式已經(jīng)是目前主要的開發(fā)方法,針對構(gòu)件式軟件在動態(tài)演化前后的一致性保持問題,本文基于外部和內(nèi)部兩方面從接口、流程結(jié)構(gòu)、行為三點出發(fā),提出了一種構(gòu)件系統(tǒng)演化一致性判定方法,具體內(nèi)容如下:。首先,在演化后的系統(tǒng)中,將每個構(gòu)件視為判定執(zhí)行者,讓所有的構(gòu)件協(xié)同參與一致性判定過程。從接口和流程結(jié)構(gòu)出發(fā),判斷判定執(zhí)行者和全局的一致性,其中接口一致性包括接口操作對稱性和接口消息類型一致性,流程結(jié)構(gòu)一致性是基于UML狀態(tài)圖來進行分析的,這是外部一致性;其次,在滿足接口、流程結(jié)構(gòu)一致性的情況下,通過比較判斷演化構(gòu)件在演化前后的行為一致性,這...
【文章來源】:云南大學(xué)云南省 211工程院校
【文章頁數(shù)】:70 頁
【學(xué)位級別】:碩士
【部分圖文】:
圖3.1演化后的構(gòu)件系統(tǒng)??從演化發(fā)起者訂單管理構(gòu)件出發(fā),給出與它相關(guān)的形式化描述,其他構(gòu)??
圖3.2接口操作描述??
接口操作對稱性算法流程圖
本文編號:2979918
【文章來源】:云南大學(xué)云南省 211工程院校
【文章頁數(shù)】:70 頁
【學(xué)位級別】:碩士
【部分圖文】:
圖3.1演化后的構(gòu)件系統(tǒng)??從演化發(fā)起者訂單管理構(gòu)件出發(fā),給出與它相關(guān)的形式化描述,其他構(gòu)??
圖3.2接口操作描述??
接口操作對稱性算法流程圖
本文編號:2979918
本文鏈接:http://sikaile.net/kejilunwen/ruanjiangongchenglunwen/2979918.html
最近更新
教材專著