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

摘要：

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

关键词：协议、协议工程、形式描述技术、Petri网

所属期刊栏目：11

分类号：TP311(计算技术、计算机技术)

资助基金：中国科学院资助项目69873009;国家重点基础研究发展计划973计划G1998030405

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：606-615