1、設(shè)計(jì)模式重用方法的研究是一項(xiàng)十分重要的基礎(chǔ)性和創(chuàng)新性的研究.它主要包括新應(yīng)用需求和設(shè)計(jì)模式的形式化描述、在模式庫(kù)中找出一組包含新應(yīng)用領(lǐng)域的模式的可重用的設(shè)計(jì)、重用找出的設(shè)計(jì)模式和定制模式的驗(yàn)證入庫(kù)等方面的研究,其中形式化描述是基礎(chǔ),模式的可重用設(shè)計(jì)的選取是此方法的核心.該文擴(kuò)展了DisCo形式化描述語(yǔ)言,使其能很好地描述設(shè)計(jì)模式.并提出一種形式化模式庫(kù)檢索方法:基于謂詞匹配的設(shè)計(jì)模式選取算法,以拓展對(duì)這一領(lǐng)域的探索,推動(dòng)設(shè)計(jì)模式在軟件設(shè)

2、計(jì)中的重用.該論文的工作主要包括以下幾個(gè)方面:●對(duì)設(shè)計(jì)模式的本質(zhì)和特征進(jìn)行研究;●深入研究和分析DisCo形式化描述語(yǔ)言的背景和特點(diǎn),研究將其應(yīng)用于設(shè)計(jì)模式的形式化描述的可行性和必要性,并對(duì)其進(jìn)行擴(kuò)展,使其適用于設(shè)計(jì)模式的描述.●深入研究軟件設(shè)計(jì)過(guò)程中設(shè)計(jì)模式的重用,并提出一種設(shè)計(jì)模式重用方法.●深入研究模式庫(kù)的檢索方法,給出一種形式化的模式庫(kù)檢索方法:基于謂詞匹配的設(shè)計(jì)模式選取算法,使設(shè)計(jì)者能快速方便地重用設(shè)計(jì)模式.●用實(shí)際的開(kāi)發(fā)實(shí)例