一種基于狀態(tài)機(jī)的協(xié)議構(gòu)造方法專(zhuān)利登記公告

專(zhuān)利名稱(chēng)：一種基于狀態(tài)機(jī)的協(xié)議構(gòu)造方法

摘要：一種基于狀態(tài)機(jī)的協(xié)議構(gòu)造方法，通過(guò)分析協(xié)議的語(yǔ)法、語(yǔ)義和時(shí)序，將協(xié)議抽象為一組服務(wù)和狀態(tài)，每一種服務(wù)對(duì)應(yīng)一個(gè)基本的網(wǎng)絡(luò)功能單元，每一種狀態(tài)對(duì)應(yīng)協(xié)議邏輯運(yùn)行所處的階段，通過(guò)狀態(tài)機(jī)模型對(duì)協(xié)議的邏輯過(guò)程進(jìn)行描述，生成狀態(tài)轉(zhuǎn)移表，根據(jù)生成的狀態(tài)轉(zhuǎn)移表，控制各個(gè)服務(wù)的運(yùn)行，由此動(dòng)態(tài)地構(gòu)造協(xié)議實(shí)例并控制其運(yùn)行。相對(duì)于傳統(tǒng)的協(xié)議構(gòu)成方法，可以降低協(xié)議部署、維護(hù)的復(fù)雜性和成本，提高其靈活性和擴(kuò)展性，使協(xié)議發(fā)展可以動(dòng)態(tài)地適應(yīng)應(yīng)用需求的變化。

專(zhuān)利類(lèi)型：發(fā)明專(zhuān)利

專(zhuān)利號(hào)：CN201210141631.6

專(zhuān)利申請(qǐng)（專(zhuān)利權(quán)）人：東南大學(xué)

專(zhuān)利發(fā)明（設(shè)計(jì)）人：沈軍;范文;彭殷路;韓濤

主權(quán)項(xiàng)：一種基于狀態(tài)機(jī)的協(xié)議構(gòu)造方法，其特征是分析協(xié)議的語(yǔ)法、語(yǔ)義和時(shí)序，所述語(yǔ)法指數(shù)據(jù)與控制信息的結(jié)構(gòu)或格式，語(yǔ)義指需要發(fā)出何種控制信息，完成何種動(dòng)作以及做出何種響應(yīng)，時(shí)序指事件實(shí)現(xiàn)順序的詳細(xì)說(shuō)明；將協(xié)議抽象為一組服務(wù)和狀態(tài)，每一種服務(wù)對(duì)應(yīng)一個(gè)基本的網(wǎng)絡(luò)功能單元，每一種狀態(tài)對(duì)應(yīng)一個(gè)協(xié)議邏輯運(yùn)行所處的階段，抽象出服務(wù)和狀態(tài)后，對(duì)協(xié)議的狀態(tài)變遷情況進(jìn)行分析，得到狀態(tài)變遷條件，并將狀態(tài)變遷條件抽象為信號(hào)，運(yùn)用狀態(tài)機(jī)模型對(duì)協(xié)議進(jìn)行形式化描述，對(duì)于無(wú)狀態(tài)變遷的協(xié)議，使用一個(gè)統(tǒng)一的狀態(tài)機(jī)描述；對(duì)于存在狀態(tài)變化的協(xié)議，根據(jù)其

專(zhuān)利地區(qū)：江蘇