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