作為軟件設(shè)計經(jīng)驗的總結(jié),恰當(dāng)使用設(shè)計模式能夠有效提高軟件系統(tǒng)的可復(fù)用性,確保最終所得軟件產(chǎn)品的質(zhì)量。但在實際應(yīng)用中,人們很少使用單一的設(shè)計模式,通常需要根據(jù)實際的應(yīng)用場景進(jìn)行多個模式的組合,這可能會導(dǎo)致所得結(jié)果不確定,嚴(yán)重影響軟件產(chǎn)品的質(zhì)量。雖然現(xiàn)有的模式組合形式化方法能夠有效地表達(dá)模式組合后的結(jié)果,但是組合方法邏輯復(fù)雜并包含大量的冗余操作,設(shè)計人員很難熟練使用。針對上述模式組合過程中存在的問題,文中對多模式之間的組合關(guān)系進(jìn)行了深入探討,從設(shè)計模式的形式化描述出發(fā),結(jié)合Z語言的特點(diǎn)對現(xiàn)有的模式組合形式化方法進(jìn)行了深入研究,并對現(xiàn)有的模式組合操作符進(jìn)行了初步優(yōu)化;在現(xiàn)有操作符集合的基礎(chǔ)上提出了基于模式的約束、疊加和擴(kuò)展操作符,通過操作符定義了模式組合的精確語義,并采用代數(shù)推理過程驗證了優(yōu)化后的方法可以有效地替代現(xiàn)有的模式組合形式化方法,且能夠解決現(xiàn)有模式組合形式化方法中操作符冗余、數(shù)量過多導(dǎo)致的效率低等問題。最后,通過模式組合案例的研究,驗證了所提方法的有效性。

【文章頁數(shù)】：6 頁

本文編號：3878034