%0 Journal Article
%T 从petri网到形式描述技术和协议工程
%A 罗军舟？
%A 沈俊？
%A 顾冠群？
%J 软件学报
%P 606-615
%D 2000
%X 协议是计算机网络的命脉,协议复杂性的提高导致了协议工程学科的出现.该文首先分析了协议工程各项活动的内容、方法和相互关系,讨论了各种形式描述技术（formaldescriptiontechnique,简称fdt）的特性及其优缺点,从而引出基于petri网理论的fdt.该文说明了petri网作为协议描述技术的优势,指出当前基于petri网的协议工程研究的难点,其中面向协议开发的网工具是一项重要的研究内容.按照开放系统互连参考模型的层次,总结了国际上的研究进展情况,并阐述了未来的研究趋势.最后从协议描述、协议验证与分析以及辅助测试与实现这3个角度给出了基于petri网的协议工程的基本方法.
%K 协议
%K 协议工程
%K 形式描述技术
%K petri网.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000504&flag=1