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

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

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

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

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