论文部分内容阅读
协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,讨论了各种形式描述技术 ( formal description technique,简称 FDT)的特性及其优缺点 ,从而引出基于 Petri网理论的 FDT.该文说明了 Petri网作为协议描述技术的优势 ,指出当前基于Petri网的协议工程研究的难点 ,其中面向协议开发的网工具是一项重要的研究内容 .按照开放系统互连参考模型的层次 ,总结了国际上的研究进展情况 ,并阐述了未来的研究趋势 .最后从协议描述、协议验证与分析以及辅助测试与实现这 3个角度给出了基于 Petri网的协议工程的基本方法
Protocols are the lifeblood of computer networks, and the complexity of protocols leads to the emergence of protocol engineering disciplines.This paper first analyzes the contents, methods and interrelations of protocol engineering activities, and discusses various forms of formal description techniques (formal description technique, Referred to as FDT) and its advantages and disadvantages, leading to the FDT based on Petri net theory.This paper illustrates the advantages of Petri nets as a protocol description technology, and points out the difficulties of current research on protocol engineering based on Petri nets, in which the network for protocol development The tool is an important research content.According to the level of the open system interconnection reference model, this paper summarizes the research progress in the world and expounds the future research trends.Finally, from the protocol description, protocol verification and analysis, and auxiliary testing and implementation These three angles give the basic method of Petri net-based protocol engineering