協議工程

協議工程

協議工程學應運而生。它採用形式化的方法,將協議轉換,協議說明協議證實,協議驗證,協議實現協議測試等內容並在一個開發系統中完成,實現協議開發的一體化,即系統化。一體化的最終目標就是在輸入自然語言描述的協議后,自動的完成所訴各個任務.

目錄

正文


協議工程學
計算機網路在最近二十幾年來發展速度非常之快。計算機互連網路Internet的浪潮更
是衝擊著整個世界,深刻地影響著我們的學習,工作和生活。通過網路,你可以瀏覽新
聞,圖片,甚至享受多媒體服務(音樂,視頻點播等);從網路信息海洋中,你可以查找
你想要的任何資料;到網路上的虛擬社區,你可以聊天,交友,甚至可以發表你的任何
感想――因為這裡言論絕對自由;電子商務的發展使網路的商業應用走向又一個高潮,
不久,就可以實現在網路上購物的夢想。二十一世紀將是網路的世紀.
計算機網路的發展離不開網路協議(Protocol).所謂協議就是計算機網路中各種通信
實體或進程間相互交換信息時必須遵守的一組規則。為了使各種各樣的計算機系統方便
可靠的相互連接通信,國際標準化組織(OSI)提出了開放系統互連(Open System
Interconnection)參考模型,它在網路的體系結構和協議標準的開發中起著重要的作用.
"開放系統"意思是指遵從一個標準實現的各個系統之間是相互開放的,也就是說可以
暢通無阻的相互連接通信.TCP/IP協議簇是Internet網路體系結構的核心協議,已成為
實際上的計算機網路工業標準。隨著計算機網路的發展,網路協議的數量越來越多,內
容也越來越複雜,如何設計出正確可靠的協議已成為一個挑戰性的課題.
為此,協議工程學應運而生。它採用形式化的方法,將協議轉換(Transformation),
協議說明(Specification),協議證實(Validation),協議驗證(Verification),協議實現
(Implementation),協議測試(Testing)等內容並在一個開發系統中完成,實現協議開發
的一體化(Integrated)即系統化。一體化的最終目標就是在輸入自然語言描述的協議后,
自動的完成上述各個任務.