- 作者: 黃崇明; 江孟書; 李勳緯; 姚幼偉
- 作者服務機構: 成功大學資訊工程研究所; 美國德州奧斯汀IBM公司
- 中文摘要:
為了要有一個真正暢通無阻的全球電腦網路,異質網路架構間的互通是最需被解決的關鍵之一。協定轉換器是
異質網路架構互通的核心部份。為了能夠有正確的協定轉換器,正規方法需要被應用在協定轉換器的設計階段。此
一能夠導出無錯誤的協定轉換器的正規方法,稱之為協定轉換。因此,協定轉換變成是異質電腦網路架構互通的重
要關鍵。藉由結合一個協定驗證技術及一個半協定轉換器推導方法,本篇論文提出一使用自動半協定轉換器產生器
(Automatic Half-ConverterGenerator, AHCG)的半協定轉換器導出方法。在AHCG中,有四個主要部份:分割程序、
候選轉換器產生器、邏輯錯誤偵測器、及最終轉換器產生器。給予兩個以CFSM模式正規描述的協定?述及一個轉換
?述,AHCG將能夠產生兩個以CFSM模式描述的無錯誤配對半協定轉換器的正規?述。
c - 英文摘要: To have real world-wide global computer networking, intercommunication between heterogeneousnetwork architectures is the main issue to be resolved. Protocol converters are the kernel componentsfor intercommunication between heterogeneous network architectures. To have correct protocol converters,formal methods should be applied in the design phase of protocol converters. Therefore, protocolconversion, which is the formal approach to deriving error-free protocol converters, has become animportant issue for heterogeneous computer networking. By combining a protocol verification techniqueand a half-converter derivation method, this paper presents a half-converter derivation method using anAutomatic Half-Converter Generator (AHCG). There are four main components in AHCG: a partitioningprocessor, a candidate converter generator, a logical error detector, and a final converter generator. Giventwo protocol specifications and a conversion specification which are formally specified in the Commu-nicating Finite State Machine (CFSM) model, AHCG will generate the two error-free formal specificationsof paired half-converters in the CFSM model.
- 中文關鍵字: computer networks; communication prorocols; protocol engineering; protocol conversion
- 英文關鍵字: --