从Petri网到形式描述技术和协议工程
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本文研究得到国家自然科学基金(No.69873009)和国家973信息技术与高性能软件项目基金(No.G1998030405)资助.


From Petri Nets to Formal Description Techniques and Protocol Engineering
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    协议是计算机网络的命脉,协议复杂性的提高导致了协议工程学科的出现.该文首先分析了协议工程各项活动的内容、方法和相互关系,讨论了各种形式描述技术(formal description technique,简称FDT)的特性及其优缺点,从而引出基于Petri网理论的FDT.该文说明了Petri网作为协议描述技术的优势,指出当前基于Petri网的协议工程研究的难点,其中面向协议开发的网工具是一项重要的研究内容.按照开放系统互连参考模型的层次,总结了国际上的研究进展情况,并阐述了未来的研究趋势.最后从协议描述、协议验证与分析以及辅助测试与实现这3个角度给出了基于Petri网的协议工程的基本方法.

    Abstract:

    Protocol is the lifeline of computer network. The rapid increasing of protocol complexity results in a discipline of protocol engineering. Based on an analysis of the contents and methods of protocol engineering activities and their interrelations, first discusses main formal description techniques (FDTs) and their characteristics, compares corresponding strongpoints and weaknesses, and then leads to Petri nets based FDT. Secondly, the paper points out special advantages of the Petri nets based formal techniques and the current research difficulties in Petri nets based protocol engineering, among which protocol development oriented net tools are now very important research tasks. Thirdly, the paper summarizes international research advances in terms of OSI/RM layers and expounds research trends in this area. Finally, the authors give fundamental methodologies for Petri nets based protocol engineering in protocol specification, verification and analysis, and computer-aided testing and implementation.

    参考文献
    相似文献
    引证文献
引用本文

罗军舟,沈俊,顾冠群.从Petri网到形式描述技术和协议工程.软件学报,2000,11(5):606-615

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1999-06-10
  • 最后修改日期:1999-12-06
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号