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

• 作者: 万里威
• 来源期刊: 福建电脑
• 关键词: 统一建模语言 UML 面向对象Petri网 网络协议
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 应用与开发
• 页码范围: 96-97
• 页数: 2页
• 字数: 917字
• 语种: 中文
• DOI: 10.16707/j.cnki.fjpc.2015.11.051

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	万里威	河北廊坊师范学院计算机与信息科学系	9	18	3.0	4.0