跳到主要內容

臺灣博碩士論文加值系統

(44.200.194.255) 您好!臺灣時間:2024/07/23 14:06
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:王文楓
研究生(外文):WANG, WEN-FENG
論文名稱:國際標準檔案傳送,存取與管理之正規化敘述
論文名稱(外文):Formal specification of ISO file transfer, access and management in ESTELLE
指導教授:孔令洋
指導教授(外文):KONG, LING-YANG
學位類別:碩士
校院名稱:國立成功大學
系所名稱:資訊科學研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1989
畢業學年度:77
語文別:中文
論文頁數:99
中文關鍵詞:通訊協定正規化描述技術架構模式行為模式
外文關鍵詞:FORMAL-DESCRIPTION-TECHNIQUEISO-APPLICATION-LAYERFTAM[10]ELTELLE[15]ARCHITECUURE-MODELBEHAVIOR-MODEL
相關次數:
  • 被引用被引用:0
  • 點閱點閱:177
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
由於通訊協定的日趨多樣化與複雜化,正規化描述技術(FORMAL DESCRIPTION TECHN
IQUE)變得更重要了,在本論文中,國際標準之電腦網路應用層(ISO APPLICATION
LAYER )通訊協定FTAM [10] 的正規化敘述被使用ESTELLE [15]語言加以敘述,這個
敘述中包含了一個架構模式(ARCHITECTURE MODEL)和一個行為模式(BEHAVIOR MOD
EL),架構模式說明了整個ESTELLE 敘述的靜態觀察,包括了一些模組(MODULES )
和連接的管道(CHANNELS),行為模式說明了ETAM協定在有限狀態機(FINITE STATE
MACHIME )中的動態行為,最後以一些對本論文的貢獻與未來工作的評論作為結論。
FTAM敘述的全部工作列於附錄A和B中。

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top