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

作     者：罗军舟 *** 沈俊 顾冠群 LUO Jun-zhou;SHEN Jun;GU Guan-qun

作者机构：东南大学计算机科学与工程系 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2000年第11卷第5期

页      面：606-615页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081201[工学-计算机系统结构] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金!(No.69873009) 国家973信息技术与高性能软件项目基金!(No.G19980 30405)资助 

主　　题：协议工程 形式描述 Petri网 计算机网络 

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