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

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

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