%0 Journal Article
%T Research on Formal Modeling of Multiprotocol Extension Border Gateway Protocol BGP4 +<br>基于多协议扩展边界网关协议BGP4+的形式化建模研究
%A 江魁
%A 黄云森
%A 龚巧华
%J 计算机系统应用
%D 2006
%I 
%X 协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度,在分析BGP4+协议的基础上,提出了适用于复杂路由协议形式化建模的混合模型建模法,并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模.
%K BGP4
%K SDL<br>形式化建模
%K 有限状态机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=D4F6864C950C88FFCE5B6C948A639E39&aid=BD66AE5135645EEE&yid=37904DC365DD7266&iid=59906B3B2830C2C5&sid=318E4CC20AED4940&eid=9FFCC7AF50CAEBF7&journal_id=1003-3254&journal_name=计算机系统应用&referenced_num=0&reference_num=6