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

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

2、化技術(shù)中，形式化描述是整個協(xié)議設(shè)計與實現(xiàn)的基礎(chǔ)。但是網(wǎng)絡(luò)協(xié)議在定義與描述過程中對于規(guī)則的語義描述和語義沖突的處理等方面仍顯不足，本體作為一種能在語義和知識層次上描述一個專業(yè)領(lǐng)域中概念模型的建模工具，能夠正確的描述客觀事物的語義。把本體與網(wǎng)絡(luò)協(xié)議相結(jié)合，能夠解決上述問題。
　　 本文以程序設(shè)計在線評測系統(tǒng)的網(wǎng)絡(luò)協(xié)議開發(fā)為背景，分析了現(xiàn)有系統(tǒng)在網(wǎng)絡(luò)方面存在以下不足：(1)沒有一個實時的基于應用層的確認機制；(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)，這個問題有待解決?；谝陨蠁栴}，有必要開發(fā)一個程序設(shè)計在線評測系統(tǒng)的專用協(xié)議，并在網(wǎng)絡(luò)協(xié)議的開發(fā)過程中借助本體進行分析，可以解決現(xiàn)有系統(tǒng)在網(wǎng)絡(luò)方面存在的不足，具體研究工作按如下步驟展開：
　　 首先，通過分析程序設(shè)計在線評測系統(tǒng)的網(wǎng)絡(luò)環(huán)境，提出了程序設(shè)計在線評測系統(tǒng)的專用協(xié)議——程序設(shè)計在線評測系統(tǒng)傳輸協(xié)議，該協(xié)議處于

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