互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

一种基于CIPN的网络协议建模方法


□ 彭 磊 毕亚雷 曾家智

   (1.电子科技大学 计算机科学与工程学院,成都 610054;2.中国科学院 深圳先进技术研究院, 广东 深圳 518067)

  摘要:基于petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合cpn和ipn,提出了一种新的petri网派生类cipn用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性。给出了cipn的定义,并讨论了cipn的运行机制,证明了cipn事件可观测性的充要条件。通过一个maca协议作为示例,完成了从网络协议的一般cpn模型到cipn模型的等价性转换,并利用cipn的事件可观测性定理对maca协议进行了事件观测性分析。

  关键词:网络协议;离散事件系统;着色解释petri网;协议工程

  中图分类号:tp393文献标志码:a

  文章编号:1001-3695(2008)11-3430-04

  

  novel cipn-based modeling for network protocols

  

  peng lei1,2,bi ya-lei2,zeng jia-zhi1

  (1.school of computer science & engineering ,university of electronic science & technology of china, chengdu sichuan610054, china;2.shenzhen institute of advanced technology, chinese academy of sciences, shenzhen guangdong 518067, china)

  abstract:the petri net-based modeling technique for network protocols need cooperate with existing network protocol simulators more effectively. combing cpn and ipn together, this paper introduced a novel descent of petri net named cipn in order to get a model highlighting the des essence and take a formal analysis easily. then discussed definition and operation mechanism of cipn.also the necessary and sufficient condition for event observability of cipn got proofed. a maca protocol-based example shows that the transmission from cpn model to its equative cipn counterpart. and analyzed the event observability of maca with employing event observability theorem in cipn.

......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017