电信协议工程与形式化方法.pdf

《电信协议工程与形式化方法.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、第!"卷第#期浙江大学学报&工学版’>).?!"@)?#$%%!年#月()*+,-.)/01234-,56,472+849:&;,54,22+4,5<=42,=2’(-,?$%%!电信协议工程与形式化方法褚秉华G仇佩亮&浙江大学信息与电子工程系G浙江杭州!#%%$"’摘要A通过分析电信协议的特点以及目前在开发电信协议中遇到的困难G提出了用电信协议工程的方法来开发电信协议G并详细概述了电信协议工程的各个环节G介绍了电信协议工程的核心PP形式化方法和目前已被标准化并在电信领域应用较广泛的一些形式化方法A

2、-,5*-52’GT

3、vwxytzx{

4、}z

5、{wyvx~{zvz!"#t$xw{z~$%"z&~zttw~z&G’(t)~vz&*z~+tw%~x,G-vz&.({/!#%%$"G0(~zv’123hjgahAQ*29)912+-S4O92=1,).)54=-.S+)5+2884,91292.2=)II*,4=-94),4,O*89+:G92.2=)II*,4=-94),S+)9)=).8-,O912S+)5+-I891-94IS.2I2,9912I-+2K2=)I4,5I)+2-,OI)+2=)IS.4=-92O?@24I291)O8-+2,22O2O9)8S2=4/:G7-.4

6、O-92-,O928991282S+)9)=).8-,OS+)5+-I8?r,9148S-S2+G912/2-9*+28-,O912=1-+-=92+8)/92.2=)II*,4=-94),S+)9)=).8-+2-,-.:82O-,O912=1-..2,52891-99122,54,22+8I2299)O-:-+2.4892O?Y12,G912,24+282-+=1-,OO272.)SI2,9I291)OG92.2=)II*,4=-94),S+)9)=).2,54,22+4,5G414=1=-,K2+25-+O2O-8-8*K829)/S+)9)=).2,54

7、,22+4,5G488*552892O-,O91241).2S+)=28848O28=+4K2O?Y12/)+I-.I291)O48912=)+2)/92.2=)II*,4=-94),S+)9)=).2,54,22+4,5G8)8272+-.89-,O-+O4N2O/)+I-.I291)O8-+24,9+)O*=2O414=11-72K22,*82O44O2.:4,91292.2=)II*,4=-94),/42.OG8*=1-8

8、GV<@?#&VK89+-=9<:,9-W@)9-94),X,2’GYYJ@&Y+22-,OY-K*.-+J)IK4,2O@)9-94),’?Y12K2,2/498)/*84,591282I291)O8-+28*II-+42O-9.-89?5_67bjl3AS+)9)=).2,54,22+4,5Z92.2=)II*,4=-94),S+)9)=).2,54,22+4,5Z/)+I-.I291)O在通信领域G协议是指控制通信实体间进行信率?息交换的一套规则G它主要包括以下三要素A大部分的通信协议都极其复杂G为了将协议的句法A定义消息的格式G如帧结构G信号电平等Z复杂

9、性分解G协议常常分层表示G每一层的协议都是语义A定义通信实体收到或发送消息时&后’所相对独立的?电信网中的通信协议G根据X

10、现"以前!电往要等到协议