PDA系統(tǒng)通信協(xié)議研究與實現(xiàn).pdf

1、該論文結(jié)合一個PDA項目的開發(fā),設(shè)計和實現(xiàn)了利用固定電話網(wǎng)進行信息傳輸?shù)囊惶淄ㄐ艆f(xié)議.基于通信協(xié)議開發(fā)的一般過程——協(xié)議工程,同時針對于該項目的特點,該文首先分析了協(xié)議工程的缺陷,對協(xié)議工程的各項活動提出了適當(dāng)?shù)男薷暮筒脺p建議.文章重點探討了,如何依據(jù)修改的協(xié)議工程活動來指導(dǎo)通信協(xié)議的開發(fā):在體系結(jié)構(gòu)上,應(yīng)用并描述C/S模式的網(wǎng)絡(luò)架構(gòu),及其相比于交叉式的網(wǎng)絡(luò)構(gòu)架的優(yōu)勢所在.對比ISO七層模型,設(shè)計了簡單實用的三層網(wǎng)絡(luò)模型(物理層,鏈路層

2、,消息層).在通用的時序圖描述通信協(xié)議動態(tài)交互的基礎(chǔ)上,用一種形式化描述技術(shù)——Petri網(wǎng)抽象通信協(xié)議的動態(tài)行為規(guī)范為一種鏈路層半雙工停止-等待協(xié)議,從簡單到復(fù)雜建立4個不同側(cè)重點的Petri網(wǎng)模型,分別描述通信協(xié)議的不同動態(tài)行為:交互,超時,出錯處理.提出了對于Petri網(wǎng)通信模型的信道約束條件公式:∑mi≤1.利用Petri網(wǎng)理論對協(xié)議進行一致性驗證,并修正驗證時所發(fā)現(xiàn)的錯誤.在協(xié)議實現(xiàn)上,為了降低實現(xiàn)的復(fù)雜度,提高系統(tǒng)性能將通信