程序設(shè)計(jì)在線評(píng)測(cè)系統(tǒng)網(wǎng)絡(luò)協(xié)議本體分析研究.pdf

1、隨著網(wǎng)絡(luò)技術(shù)多樣性的增長(zhǎng)以及網(wǎng)絡(luò)應(yīng)用的飛速發(fā)展對(duì)網(wǎng)絡(luò)協(xié)議提出了更多更新的要求，這樣原有的協(xié)議不足以支持新的應(yīng)用需求和網(wǎng)絡(luò)特征，必須擴(kuò)展已有的協(xié)議或?qū)崿F(xiàn)全新的協(xié)議。因此，十分有必要進(jìn)行協(xié)議開發(fā)?；趨f(xié)議開發(fā)的一般過程——協(xié)議工程的出現(xiàn)，使得協(xié)議的開發(fā)過程工程化，提高了協(xié)議的開發(fā)效率，促進(jìn)了標(biāo)準(zhǔn)化的協(xié)議實(shí)現(xiàn)，提高了網(wǎng)絡(luò)軟件的可靠性和可維護(hù)性。協(xié)議工程包括形式化描述、協(xié)議驗(yàn)證、協(xié)議綜合、協(xié)議實(shí)現(xiàn)、協(xié)議一致性測(cè)試等多方面的理論和技術(shù)。在這些形式

2、化技術(shù)中，形式化描述是整個(gè)協(xié)議設(shè)計(jì)與實(shí)現(xiàn)的基礎(chǔ)。但是網(wǎng)絡(luò)協(xié)議在定義與描述過程中對(duì)于規(guī)則的語義描述和語義沖突的處理等方面仍顯不足，本體作為一種能在語義和知識(shí)層次上描述一個(gè)專業(yè)領(lǐng)域中概念模型的建模工具，能夠正確的描述客觀事物的語義。把本體與網(wǎng)絡(luò)協(xié)議相結(jié)合，能夠解決上述問題。
　　 本文以程序設(shè)計(jì)在線評(píng)測(cè)系統(tǒng)的網(wǎng)絡(luò)協(xié)議開發(fā)為背景，分析了現(xiàn)有系統(tǒng)在網(wǎng)絡(luò)方面存在以下不足：(1)沒有一個(gè)實(shí)時(shí)的基于應(yīng)用層的確認(rèn)機(jī)制；(2)隱藏在程序代碼中的協(xié)

3、議缺乏精確的語義描述；(3)在現(xiàn)有的網(wǎng)絡(luò)環(huán)境中涉及到內(nèi)網(wǎng)和外網(wǎng)，如何保證內(nèi)網(wǎng)可以訪問外網(wǎng)，而外網(wǎng)不可以訪問內(nèi)網(wǎng)，這個(gè)問題有待解決。基于以上問題，有必要開發(fā)一個(gè)程序設(shè)計(jì)在線評(píng)測(cè)系統(tǒng)的專用協(xié)議，并在網(wǎng)絡(luò)協(xié)議的開發(fā)過程中借助本體進(jìn)行分析，可以解決現(xiàn)有系統(tǒng)在網(wǎng)絡(luò)方面存在的不足，具體研究工作按如下步驟展開：
　　 首先，通過分析程序設(shè)計(jì)在線評(píng)測(cè)系統(tǒng)的網(wǎng)絡(luò)環(huán)境，提出了程序設(shè)計(jì)在線評(píng)測(cè)系統(tǒng)的專用協(xié)議——程序設(shè)計(jì)在線評(píng)測(cè)系統(tǒng)傳輸協(xié)議，該協(xié)議處于

4、TCP/IP協(xié)議族的應(yīng)用層，由八個(gè)子協(xié)議組成。在協(xié)議的開發(fā)過程中，利用本體分析了協(xié)議中的節(jié)點(diǎn)、實(shí)體、消息、消息傳輸以及八個(gè)子協(xié)議等，并進(jìn)行本體建模，建立了信息完整和語義精確的概念模型。
　　 然后，對(duì)協(xié)議進(jìn)行構(gòu)件化設(shè)計(jì)，本文采用的設(shè)計(jì)方法是在協(xié)議本體模型的基礎(chǔ)上，進(jìn)行構(gòu)件化的設(shè)計(jì)，將本體模型映射為構(gòu)件化的本體模型，得到各構(gòu)件接口定義。并給出了協(xié)議進(jìn)行構(gòu)件設(shè)計(jì)后對(duì)外界所提供的服務(wù)。
　　 最后，實(shí)現(xiàn)程序設(shè)計(jì)在線評(píng)測(cè)系統(tǒng)傳輸