協定工程學
計算機網路在最近二十幾年來發展速度非常之快.計算機互連網路Internet的浪潮更
是衝擊著整個世界,深刻地影響著我們的學習,工作和生活.通過網路,你可以瀏覽新
聞,圖片,甚至享受多媒體服務(音樂,視頻點播等);從網路信息海洋中,你可以查找
你想要的任何資料;到網路上的虛擬社區,你可以聊天,交友,甚至可以發表你的任何
感想――因為這里言論絕對自由;電子商務的發展使網路的商業套用走向又一個高潮,
不久,就可以實現在網路上購物的夢想.二十一世紀將是網路的世紀.
計算機網路的發展離不開網路協定(Protocol).所謂協定就是計算機網路中各種通信
實體或進程間相互交換信息時必須遵守的一組規則.為了使各種各樣的計算機系統方便
可靠的相互連線通信,國際標準化組織(OSI)提出了開放系統互連(Open System
Interconnection)參考模型,它在網路的體系結構和協定標準的開發中起著重要的作用.
"開放系統"意思是指遵從一個標準實現的各個系統之間是相互開放的,也就是說可以
暢通無阻的相互連線通信.TCP/IP協定簇是Internet網路體系結構的核心協定,已成為
實際上的計算機網路工業標準.隨著計算機網路的發展,網路協定的數量越來越多,內
容也越來越複雜,如何設計出正確可靠的協定已成為一個挑戰性的課題.
為此,協定工程學[1]應運而生.它採用形式化的方法,將協定轉換(Transformation),
協定說明(Specification),協定證實(Validation),協定驗證(Verification),協定實現
(Implementation),協定測試(Testing)等內容並在一個開發系統中完成,實現協定開發
的一體化(Integrated)即系統化.一體化的最終目標就是在輸入自然語言描述的協定後,
自動的完成上述各個任務.
相關詞條
-
密碼工程學
《密碼工程學》是2014年清華大學出版社出版的圖書,作者是李浪、鄒禕、郭迎。
圖書簡介 目錄 -
網路通訊協定
TCP/IP協定叫做傳輸控制/網際協定,又叫網路通訊協定,這個協定是Internet國際網際網路的基礎。
協定制定 制定主要組織 -
金融工程學
金融工程學是20世紀80年代末、90年代初,隨著公司、商業銀行、投資銀行與證券投資業務的迅速發展而誕生的一門工程型的新興交叉學科。它作為現代金融學的最新...
簡介 研究範圍 發展簡史 作者簡介 -
《生物醫學工程學雜誌》
《生物醫學工程學雜誌》為中國生物醫學核心期刊。被國內外多家著名檢索系統收錄。是國內外重點院校,從事生物醫學工程領域科技工作者進行學術交流的主要場地。
簡介 主要欄目 雜誌榮譽 基本信息 解析度定義 -
黑龍江恢先地震工程學基金會
黑龍江恢先地震工程學基金會成立於2002年7月16日,旨在紀念中國地震工程學奠基人、中國科學院已故學部委員(院士)劉恢先教授,繼承和發揚他的優良學風,完...
基本資料 基金會簡介 基金會宗旨 獎學助才 管理機構 -
協定工程
協定是網路的血液和生命,計算機網路的發展是網路協定設計和開發的結果。但計算機通信與網路技術的發展進一步增強了協定的複雜性,主要體現在協定開發難度大、周期...
背景 發展 開發過程 核心協定 -
網路協定本質論
1.2.1 1.3.2 6.2.1
圖書信息 宣傳語 內 容 簡 介 前 言 本書特色 -
電氣工程學概論
《電氣工程學概論》從全新的視角歸納出一種電工學教材新體系,它以建立電氣工程系統的明晰概念為教學目標,由三個篇幅,即電路篇、信號與系統篇及器件篇,共19章...
內容簡介 章節目錄 -
黑客社會工程學攻防演練
內容介紹《反黑風暴·黑客社會工程學攻防演練》由淺入深、圖文並茂地再現了黑客社會工程學攻防演練的全過程,內容涵蓋:全面認識社會工程學、無所不能...技術。《反黑風暴·黑客社會工程學攻防演練》內容豐富全面,圖文並茂...