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

1、本論文以研究和建立滿足下一代網(wǎng)絡(luò)發(fā)展需求的新一代網(wǎng)絡(luò)體系結(jié)構(gòu)為研究出發(fā)點(diǎn)，重點(diǎn)展開了關(guān)于面向服務(wù)的新一代網(wǎng)絡(luò)體系結(jié)構(gòu)及其形式化建模的相關(guān)研究。論文首先對(duì)網(wǎng)絡(luò)體系結(jié)構(gòu)這一概念的內(nèi)涵和外延進(jìn)行了宏觀剖析，提出了“網(wǎng)絡(luò)體系結(jié)構(gòu)認(rèn)知框架”，并對(duì)傳統(tǒng)網(wǎng)絡(luò)體系結(jié)構(gòu)進(jìn)行了分析和評(píng)述。著重對(duì)互聯(lián)網(wǎng)體系結(jié)構(gòu)進(jìn)行了關(guān)注，采用從矛盾分析入手的方法對(duì)以互聯(lián)網(wǎng)體系結(jié)構(gòu)為代表的傳統(tǒng)網(wǎng)絡(luò)體系結(jié)構(gòu)的優(yōu)劣利弊進(jìn)行了深入剖析。然后對(duì)面向服務(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)時(shí)所需考慮的種種因素，并對(duì)下一代網(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è)計(jì)原則，在這些設(shè)計(jì)原則的指導(dǎo)之下，從宏觀角度入手研究并建立起了滿足下一代網(wǎng)絡(luò)發(fā)展需求的新一代網(wǎng)絡(luò)體系結(jié)構(gòu)INSA參考模型。

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

4、構(gòu)件化思想和全方位交互觀點(diǎn)作為建?；A(chǔ)，研究并建立起了新一代網(wǎng)絡(luò)體系結(jié)構(gòu)的INSA抽象形式化模型，并對(duì)該抽象形式化模型的相關(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)描述語(yǔ)言INSADI。論文對(duì)INSADL的設(shè)計(jì)思想和主要特色、INSADL語(yǔ)法的類EBNF定義、INSADL主要語(yǔ)法單位等進(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)描述語(yǔ)言INSADL，在典型網(wǎng)絡(luò)體系結(jié)構(gòu)實(shí)例的形式化建模、以及分布式流媒體服務(wù)DSMS的體系結(jié)構(gòu)建模、規(guī)約和分析這兩個(gè)方面進(jìn)行了實(shí)際應(yīng)用。前一方面主要以傳統(tǒng)的OSI網(wǎng)絡(luò)體系結(jié)構(gòu)和近年來(lái)正日漸成為計(jì)算機(jī)網(wǎng)絡(luò)研究熱點(diǎn)的Web Service體系結(jié)構(gòu)這兩個(gè)典型網(wǎng)絡(luò)體系結(jié)構(gòu)實(shí)例為研究對(duì)象