基于CSP-XML的網(wǎng)絡(luò)體系結(jié)構(gòu)建模方法研究與應(yīng)用.pdf

1、隨著計(jì)算機(jī)網(wǎng)絡(luò)的不斷發(fā)展，網(wǎng)絡(luò)的核心正從通信轉(zhuǎn)為服務(wù)，而傳統(tǒng)網(wǎng)絡(luò)體系結(jié)構(gòu)的不足和局限性已經(jīng)日益凸顯。針對(duì)這一問(wèn)題，許多關(guān)于網(wǎng)絡(luò)體系結(jié)構(gòu)的研究項(xiàng)目正在展開。其中，網(wǎng)絡(luò)體系結(jié)構(gòu)的形式化建模研究既能為網(wǎng)絡(luò)體系結(jié)構(gòu)提供無(wú)歧義的描述以及分析驗(yàn)證的支持，又能為新一代網(wǎng)絡(luò)體系結(jié)構(gòu)的具體設(shè)計(jì)和開發(fā)實(shí)現(xiàn)提供指導(dǎo)，故成為網(wǎng)絡(luò)體系結(jié)構(gòu)研究的新方向。
　　網(wǎng)絡(luò)體系結(jié)構(gòu)形式化建模是建立在形式化理論的基礎(chǔ)上，對(duì)網(wǎng)絡(luò)體系結(jié)構(gòu)進(jìn)行較高層次的描述和分析。然而目前在

2、網(wǎng)絡(luò)領(lǐng)域的形式化工作主要集中在協(xié)議形式化方面，對(duì)網(wǎng)絡(luò)服務(wù)及體系結(jié)構(gòu)關(guān)注較少。而在與網(wǎng)絡(luò)體系結(jié)構(gòu)緊密相關(guān)的軟件體系結(jié)構(gòu)中，以構(gòu)件化的思想利用形式化方法進(jìn)行的體系結(jié)構(gòu)建模已經(jīng)取得了較大的發(fā)展。本文將借鑒這種思路，在形式化理論的基礎(chǔ)上，對(duì)網(wǎng)絡(luò)體系結(jié)構(gòu)進(jìn)行建模及描述。
　　本文的主要工作包括：
　　(1)基于新型網(wǎng)絡(luò)體系結(jié)構(gòu)參考模型，借鑒軟件體系結(jié)構(gòu)中構(gòu)件化思想，提出一種基于實(shí)體的網(wǎng)絡(luò)體系結(jié)構(gòu)形式化建模方法。
　　(2)在網(wǎng)絡(luò)