通信網(wǎng)結(jié)構(gòu)與協(xié)議的形式化描述語言研究與設(shè)計(jì).pdf

1、隨著通信網(wǎng)絡(luò)的迅猛發(fā)展，網(wǎng)絡(luò)結(jié)構(gòu)和各種協(xié)議配置變的越來越復(fù)雜，靠手工配置網(wǎng)絡(luò)也越來越繁瑣，現(xiàn)有的一些描述形式如框圖形式或是Excel 表格形式都難以做到精確、無二義性地對(duì)網(wǎng)絡(luò)進(jìn)行描述，因此迫切需要定義一種語言，它能夠?qū)νㄐ啪W(wǎng)絡(luò)拓?fù)湟约皡f(xié)議配置等信息給出統(tǒng)一、完備、精確地描述，這也是目前業(yè)界研究的熱點(diǎn)問題之一。
　　 本文首先分析了OSPF、ISIS、BGp等路由協(xié)議的機(jī)理、協(xié)議功能和相互關(guān)系，也對(duì)目前得到廣泛應(yīng)用的MPLS 技術(shù)

2、的原理和應(yīng)用進(jìn)行了剖析；其次，介紹了XML 語言以及XSLT 格式轉(zhuǎn)換技術(shù)，并在此基礎(chǔ)上，分析現(xiàn)有語言的合理性和可擴(kuò)展能力，探索可以準(zhǔn)確而且完備地描述通信網(wǎng)絡(luò)的形式化語言。最后，提出了一個(gè)基于XML 語法結(jié)構(gòu)的網(wǎng)絡(luò)拓?fù)浜蛥f(xié)議配置描述語言，并與OPNET 描述語言進(jìn)行了對(duì)比分析。
　　 本文針對(duì)具體案例，應(yīng)用所提的形式化描述語言進(jìn)行了實(shí)驗(yàn)，并經(jīng)過轉(zhuǎn)換后導(dǎo)入網(wǎng)絡(luò)仿真器OPNET 進(jìn)行仿真，以驗(yàn)證實(shí)際可用性。研究表明，用所提形式化語言