期刊文章详细信息
基于UML和OOPN的网络协议建模研究
文献类型：期刊文章
机构地区：[1]河北廊坊师范学院计算机与信息科学系,河北廊坊065000
基 金：廊坊市科学技术研究与发展计划项目:基于UML交互概览图和CPN的软件性能评价研究(项目编号:2015011045)
年 份：2015
卷 号：31
期 号：11
起止页码：96-97
语 种：中文
收录情况：普通刊
摘 要：网络协议的形式化描述与验证技术是整个协议设计与实现的基础,目前所采用的形式化描述与验证技术各有优势,本文综合了UML(the Unified Modeling Language)和面向对象Petri网各自的优势,提出了UML和面向对象Petri网相结合的建模方法。并以停等协议为例进行说明。
关 键 词：统一建模语言 UML 面向对象PETRI网 网络协议
分 类 号：TP393]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
