从Petri网到形式描述技术和协议工程

• 作者: 沈俊 罗军舟 顾冠群
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 协议 协议工程 形式描述技术 Petri网
• 年，卷（期）: 2000,（5）
• 页码范围: 606-615
• 页数: 10页
• 分类号: TP311
• 字数: 621字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗军舟	东南大学计算机科学与工程系	165	4086	26.0	60.0
2	顾冠群	东南大学计算机科学与工程系	88	1526	21.0	36.0
3	沈俊	东南大学计算机科学与工程系	6	261	3.0	6.0