论文部分内容阅读
网络协议的形式化描述与验证技术是整个协议设计与实现的基础,目前所采用的形式化描述与验证技术各有优势,本文综合了UML（the Unified Modeling Language）和面向对象Petri网各自的优势,提出了UML和面向对象Petri网相结合的建模方法。并以停等协议为例进行说明。
基于UML和OOPN的网络协议建模研究
【摘 要】
：
网络协议的形式化描述与验证技术是整个协议设计与实现的基础,目前所采用的形式化描述与验证技术各有优势,本文综合了UML（the Unified Modeling Language）和面向对象Petri网各
【机 构】
：
河北廊坊师范学院计算机与信息科学系
【出 处】
：
福建电脑
【发表日期】
：
2015年11期
其他文献
移动通信是通信专业的专业核心课程之一，其特点是算法多、概念抽象、难以理解等。在教学中存在教材良莠不齐、理论教学与实践教学脱节、学生认识不足等。针对这些情况，需要从教
随着数字媒体技术的发展,在课堂教学中的运用越来越广泛,数字媒体与教学的整合显得尤为重要。在新课程改革的前提下,教育思想发生了实质性的变化,促使教师的教育模式和学生学
为了改进皮圈架压铸模的设计,研究了多抽芯压铸模具的结构,提出了模具改造的思路及要点。采用91°模具角度设计,斜销抽芯机构与内抽芯机构相结合,以便于脱模,采用通用型
本文针对《C语言程序设计》教学中存在的问题,提出了“以学生为中心”的教学改革方案,从培养学生计算思维、正确对待算法和语法的关系、区别对待学生,选择不同教材、重新组织
隐喻是建构和组织诗词语篇的一种重要手段。在诗词语篇的隐喻建构过程中,认知主体发挥其意向性和主动性,在线构建一种较为新奇的表征结构,确立认知对象的相似性,形成隐喻建构
随着信息化技术的日渐普及,如何培养高技能网路人才以和企业做到“零距离”对接是当前很多职业院校在制作人才培养方案是考虑的问题.本文在总结了近三年对网络高技能人才培养
通过对Z形环零件的结构工艺分析,指出了Z形环零件多工序成形的方案及多工序成形的不足之处.为提高加工效率并降低零件成本,提出了将翻边、拉深、成形融于一体的加工工艺方案,