面向服務(wù)的新一代網(wǎng)絡(luò)體系結(jié)構(gòu)及其形式化建模的研究.pdf

1、本論文以研究和建立滿足下一代網(wǎng)絡(luò)發(fā)展需求的新一代網(wǎng)絡(luò)體系結(jié)構(gòu)為研究出發(fā)點，重點展開了關(guān)于面向服務(wù)的新一代網(wǎng)絡(luò)體系結(jié)構(gòu)及其形式化建模的相關(guān)研究。論文首先對網(wǎng)絡(luò)體系結(jié)構(gòu)這一概念的內(nèi)涵和外延進(jìn)行了宏觀剖析，提出了“網(wǎng)絡(luò)體系結(jié)構(gòu)認(rèn)知框架”，并對傳統(tǒng)網(wǎng)絡(luò)體系結(jié)構(gòu)進(jìn)行了分析和評述。著重對互聯(lián)網(wǎng)體系結(jié)構(gòu)進(jìn)行了關(guān)注，采用從矛盾分析入手的方法對以互聯(lián)網(wǎng)體系結(jié)構(gòu)為代表的傳統(tǒng)網(wǎng)絡(luò)體系結(jié)構(gòu)的優(yōu)劣利弊進(jìn)行了深入剖析。然后對面向服務(wù)的新一代網(wǎng)絡(luò)體系結(jié)構(gòu)進(jìn)行了深入研

2、究，通過總結(jié)近年米研究界在改造傳統(tǒng)網(wǎng)絡(luò)體系結(jié)構(gòu)和探索新型網(wǎng)絡(luò)體系結(jié)構(gòu)等方面的種種努力，全面分析了在研究滿足下一代網(wǎng)絡(luò)發(fā)展需求的新一代網(wǎng)絡(luò)體系結(jié)構(gòu)時所需考慮的種種因素，并對下一代網(wǎng)絡(luò)的概念進(jìn)行了明確界定。在此基礎(chǔ)上，總結(jié)概括了新一代網(wǎng)絡(luò)體系結(jié)構(gòu)的需求目標(biāo)，并研究提出了與新一代網(wǎng)絡(luò)體系結(jié)構(gòu)的需求目標(biāo)相適應(yīng)的若干體系結(jié)構(gòu)設(shè)計原則，在這些設(shè)計原則的指導(dǎo)之下，從宏觀角度入手研究并建立起了滿足下一代網(wǎng)絡(luò)發(fā)展需求的新一代網(wǎng)絡(luò)體系結(jié)構(gòu)INSA參考模型。

3、 論文還重點關(guān)注了新一代網(wǎng)絡(luò)體結(jié)構(gòu)的形式化建模問題。分析了對新一代網(wǎng)絡(luò)體系結(jié)構(gòu)進(jìn)行形式化建模的必要性和可行性，提出了對新一代網(wǎng)絡(luò)體系結(jié)構(gòu)進(jìn)行形式化建模具有指導(dǎo)意義的“INSA形式化建模框架”，研究并歸納出了若干形式化建模目標(biāo)，并依據(jù)這些目標(biāo)對相關(guān)形式化理論與技術(shù)進(jìn)行了分析和選取。在此基礎(chǔ)上，借助于CSP理論上完備、形式上簡潔、概念和符號清晰易懂等特點，以及它在分布并發(fā)系統(tǒng)描述方面的天然優(yōu)勢，以新一代網(wǎng)絡(luò)體系結(jié)構(gòu)INSA參考模型的

4、構(gòu)件化思想和全方位交互觀點作為建?；A(chǔ)，研究并建立起了新一代網(wǎng)絡(luò)體系結(jié)構(gòu)的INSA抽象形式化模型，并對該抽象形式化模型的相關(guān)性質(zhì)進(jìn)行了深入研究。論文還在INSA抽象形式化模型的基礎(chǔ)上，借鑒了軟件體系結(jié)構(gòu)等相關(guān)領(lǐng)域的研究成果和研究方法，將新一代網(wǎng)絡(luò)體結(jié)構(gòu)的形式化建模研究進(jìn)一步推向深入，提出了一種新一代網(wǎng)絡(luò)體系結(jié)構(gòu)描述語言INSADI。論文對INSADL的設(shè)計思想和主要特色、INSADL語法的類EBNF定義、INSADL主要語法單位等進(jìn)行了

5、介紹，并且探討了基于INSADL的網(wǎng)絡(luò)體系結(jié)構(gòu)分析與檢查等內(nèi)容。 最后論文還關(guān)注了新一代網(wǎng)絡(luò)體系結(jié)構(gòu)形式化建模技術(shù)的應(yīng)用，將前面提出的新一代網(wǎng)絡(luò)體系結(jié)構(gòu)描述語言INSADL，在典型網(wǎng)絡(luò)體系結(jié)構(gòu)實例的形式化建模、以及分布式流媒體服務(wù)DSMS的體系結(jié)構(gòu)建模、規(guī)約和分析這兩個方面進(jìn)行了實際應(yīng)用。前一方面主要以傳統(tǒng)的OSI網(wǎng)絡(luò)體系結(jié)構(gòu)和近年來正日漸成為計算機網(wǎng)絡(luò)研究熱點的Web Service體系結(jié)構(gòu)這兩個典型網(wǎng)絡(luò)體系結(jié)構(gòu)實例為研究對象