基于UML和OOPN的网络协议建模研究

摘要

网络协议的形式化描述与验证技术是整个协议设计与实现的基础，目前所采用的形式化描述与验证技术各有优势，本文综合了UML（the Unified Modeling Language）和面向对象Petri网各自的优势，提出了UML和面向对象Petri网相结合的建模方法。并以停等协议为例进行说明。