 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
罗军舟,沈俊,顾冠群.从Petri网到形式描述技术和协议工程.软件学报,2000,11(5):606-615 |
从Petri网到形式描述技术和协议工程 |
From Petri Nets to Formal Description Techniques and Protocol Engineering |
投稿时间:1999-06-10 修订日期:1999-12-06 |
DOI: |
中文关键词: 协议,协议工程,形式描述技术,Petri网. |
英文关键词:Protocol, protocol engineering, formal description technique, Petri net. |
基金项目:本文研究得到国家自然科学基金(No.69873009)和国家973信息技术与高性能软件项目基金(No.G1998030405)资助. |
|
摘要点击次数: 5281 |
全文下载次数: 4124 |
中文摘要: |
协议是计算机网络的命脉,协议复杂性的提高导致了协议工程学科的出现.该文首先分析了协议工程各项活动的内容、方法和相互关系,讨论了各种形式描述技术(formal description technique,简称FDT)的特性及其优缺点,从而引出基于Petri网理论的FDT.该文说明了Petri网作为协议描述技术的优势,指出当前基于Petri网的协议工程研究的难点,其中面向协议开发的网工具是一项重要的研究内容.按照开放系统互连参考模型的层次,总结了国际上的研究进展情况,并阐述了未来的研究趋势.最后从协议描述、协议验证与分析以及辅助测试与实现这3个角度给出了基于Petri网的协议工程的基本方法. |
英文摘要: |
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. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|