面向網(wǎng)格服務(wù)的軟件體系結(jié)構(gòu)建模及演化研究.pdf

1、在計(jì)算機(jī)軟件網(wǎng)絡(luò)化和服務(wù)化的趨勢(shì)下，面向網(wǎng)格服務(wù)的分布式軟件系統(tǒng)得到了迅速的發(fā)展，同時(shí)也面臨著與傳統(tǒng)軟件開(kāi)發(fā)初期同樣的問(wèn)題，缺乏技術(shù)手段指導(dǎo)軟件的需求、設(shè)計(jì)導(dǎo)致軟件產(chǎn)品開(kāi)發(fā)和維護(hù)困難。本文著重討論了面向網(wǎng)格服務(wù)的軟件體系結(jié)構(gòu)的建模和演化中的關(guān)鍵問(wèn)題和技術(shù)，對(duì)提高網(wǎng)格服務(wù)環(huán)境下軟件體系結(jié)構(gòu)的靈活性和可靠性、降低服務(wù)變更和體系結(jié)構(gòu)演化帶來(lái)的風(fēng)險(xiǎn)具有重要的理論意義和應(yīng)用價(jià)值。 本文以面向網(wǎng)格服務(wù)應(yīng)用領(lǐng)域的軟件體系結(jié)構(gòu)為研究對(duì)象，基于W

2、right體系結(jié)構(gòu)描述語(yǔ)言和通信順序進(jìn)程，定義了資源、服務(wù)、連接件等基本的網(wǎng)格服務(wù)建模元素的語(yǔ)義，并給出了基于連接件語(yǔ)義的服務(wù)組合形式化描述以及一致性檢查方法。在形式語(yǔ)義的基礎(chǔ)上，建立了面向網(wǎng)格服務(wù)的領(lǐng)域本體元模型，把專業(yè)領(lǐng)域知識(shí)模型和網(wǎng)格服務(wù)的語(yǔ)義模型聯(lián)系起來(lái)，使得傳統(tǒng)業(yè)務(wù)模型和面向服務(wù)的應(yīng)用模型更緊密結(jié)合，為建立基于領(lǐng)域知識(shí)、面向網(wǎng)格服務(wù)的軟件體系結(jié)構(gòu)模型奠定基礎(chǔ)，并給出了建立面向網(wǎng)格服務(wù)軟件體系結(jié)構(gòu)的開(kāi)發(fā)方法。本文還對(duì)網(wǎng)格服務(wù)環(huán)境