基于語義的構(gòu)件動態(tài)替換技術(shù)研究.pdf

1、隨著信息技術(shù)的不斷發(fā)展，構(gòu)件技術(shù)越來越受到廣泛關(guān)注。同時，基于構(gòu)件的系統(tǒng)的動態(tài)演化需求也在增加，這使得構(gòu)件動態(tài)替換技術(shù)的要求被提到一個新的高度。但是，傳統(tǒng)的構(gòu)件技術(shù)不能很好地描述構(gòu)件，特別是構(gòu)件運行時的信息，這為動態(tài)替換的實現(xiàn)帶來了難點。 針對這些問題，本文引入了語義構(gòu)件的概念，并對此進(jìn)行了深入分析。 首先，本文介紹了一種語義構(gòu)件模型，并對其進(jìn)行了擴展。該模型針對五個不同的視圖對構(gòu)件進(jìn)行了全面的描述，為動態(tài)替換提供了必要

2、的運行時信息。在語義構(gòu)件模型的基礎(chǔ)上提出了構(gòu)件本體模型，為構(gòu)件替換提供了可參考模型。然后我們對動態(tài)替換關(guān)注的行為視圖和交互視圖以及相應(yīng)的行為本體和交互本體進(jìn)行了深入分析。 其次，本文介紹了構(gòu)件動態(tài)替換的正確性約束，即系統(tǒng)一致性問題。介紹了行為一致性、引用一致性、狀態(tài)一致性等，并對行為一致性進(jìn)行詳細(xì)的剖析，解釋為什么事務(wù)完整性是保證行為一致性的關(guān)鍵。 第三，利用上面提出的語義構(gòu)件模型，提出了相應(yīng)的構(gòu)件動態(tài)替換算法。這種算法