基于構(gòu)件的應(yīng)用框架擴展機制研究
2006-12-31 00:00:00馬振華楊鶴標張震波
計算機應(yīng)用研究 2006年11期
摘 要：論述了應(yīng)用框架擴展機制中構(gòu)件模型、擴展點表示和依賴關(guān)系等關(guān)鍵問題。在分析了框架元模型組成元素的基礎(chǔ)上，應(yīng)用面向領(lǐng)域的特征模型的方法，對構(gòu)件模型組織結(jié)構(gòu)進行統(tǒng)一的抽象和描述，并用命題邏輯公式來表示構(gòu)件之間的邏輯關(guān)系和語義約束；用UniCon語言給出了擴展點及其依賴關(guān)系的表示方式；最后通過給定的命題邏輯規(guī)則公式來驗證構(gòu)件模型的合理性、框架擴展的正確性。應(yīng)用實例表明這種方法是有效的。
關(guān)鍵詞：基于構(gòu)件的框架； 構(gòu)件模型； 擴展機制
中圖法分類號：TP311
文獻標識碼：A
文章編號：1001-3695(2006)11-0074-04
