协议工程相关论文
协议测试理论是从软件测试的基础上发展起来的,协议测试包括:协议一致性测试、互操作性测试和性能测试.协议一致性测试是协议测试......
本论文结合一个PDA项目的开发，设计和实现了利用固定电话网进行信息传输的一套通信协议。 基于通信协议开发的一般过程——协议......
作为一项新兴的短距离无线通信技术，Bluetooth以其强有力的技术背景和良好的市场预期，逐渐被业界所接受。服务发现协议是Bluetooth技......
该文对通信顺序进程CSP做了深入的研究,对它进行了扩充,在协议建模和协议验证等各个方面进行研究,以拓展对这一领域的探索,推动协......
协议是计算机网络的命脉，协议复杂性的提高导致协议工程学科的出现。协议工程的主要活动包括协议描述、验证、性能分析、自动实现和......
该文针对协议数据流的测试进行了研究,选择了构造类别代数来对协议的数据流部分进行形式化描述,提出了相应的测试方法.在此基础上,......
协议是网络的血液和生命，计算机网络的发展是网络协议设计和开发的结果。随着通信网络向着高速度、高性能、多媒体等方向的发展，协议......
协议工程是是以协议为研究对象的软件工程,它采用形式化方法描述协议设计和维护中的各个活动,但所建立的协议设计方法比现有软件工......
随着网络技术的发展，组建网络化测控系统已是现代测控工作者的重要任务，通信协议是网络的灵魂，如何设计出具有测控网络特点、功能上正......
协议工程就是一体化、形式化的协议开发过程。协议工程的目的是用来减少协议开发中潜在的错误，提高协议开发的效率，促进标准化的发展......
通过分析电信协议的特点以及目前在开发电信协议中遇到的困难,提出了用电信协议工程的方法来开发电信协议,并详细概述了电信协议工......
协议是计算机网络的命脉,协议复杂性的提高导致了协议工程学科的出现.该文首先分析了协议工程各项活动的内容、方法和相互关系,讨......
空间数据系统委员会(CCSDS,Consultative Committee for Space Data System)所发布的标准在空间数据通信领域起着极其重要的作用,......
基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN......
由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善.提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化......
协议设计质量的好坏直接关系到所开发出来的协议功能、性能等是否满足用户需求,以及协议后期维护成本。通信环境是协议设计需要优......
基于协议工程和软件再工程的相关概念，提出一种针对无线传感器网络协议定制行为的规范化工作流程，命名为协议再工程。阐明了协议再工......
为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Pe......
通信软件测试课程具有概念繁多，理论抽象和实践性要求较高的特点。本着通信协议测试理论研究和实践能力并举的复合型人才培养目标，提......
随着Tetra数字集群通信技术的不断发展，其移动台空中接口协议栈标准也在不断演化，并日趋复杂，使得传统的软件开发手段越来越不适应Tet......
协议是数据通信、计算机网络等分布式系统的灵魂.协议设计、开发的复杂性的增加导致了协议工程技术的出现,该文主要介绍了协议工程......
协议是网络理论的体现和应用,成功的协议教学能够帮助学生理解概念和消化理论,增强动手能力。当前,已有教师对协议的仿真教学进行......
随着计算机网络技术和网络应用的迅速发展，网络协议性能测试变得越来越重要。该文主要论述了协议工程的活动、方法及其开发过程，并时......
该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上，针对通讯协议的特点提出了一个协议模型思想，并设计了实现此模型的协议......
该文从定义并发TTCN着手，介绍了协议测试的概念和内客，详细讨论了协议互操作性测试的意义及其相关的语义定义。该文最后给出了一种改......
按照OSI/ RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的......
随着计算机网络协议的广泛度和复杂度的增加，协议的形式化工作显得越来越重要。Petri网与其他形式化建模技术相比，具有特别的优越性，......
讨论了为建立协议模型而进行的CSP扩充问题.主要向CSP中引入了可终止进程的概念,给出了可终止进程的判定方法;提出了用CSP来描述异......
安全协议是网络安全的重要基础，形式化分析是保证安全协议具备相应安全性质的有效途径。通过对安全协议进行分类，阐述了各类协议所应......
合作式学习是当今最有影响的教学方式之一，已经被众多实践证实在培养学生的综合素质和能力、提高学生学习效率和兴趣方面有明显作用......
随着计算机网络与分布式系统的发展,通信协议的设计和实现的复杂性的增加导致了协议程技术的出现.讨论协议形式描述与验证技术的目......
最新的消息轨迹图(MSC)标准MSC-2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方......
研究了软交换中各种应用层协议之间的关系,提出协议关系和协议分组的概念,并在熟知的协议转换关系基础之上提出3种新的协议关系,将......
将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程......
当前，无线通信技术的发展非常迅速，以IS-95标准为代表的码分多址(CDMA)技术已经实用化并在数字蜂窝移动通信系统中显示了显著的优越......
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议.介绍了协议工程、形式化方法及核心技术形式描述......
讨论使用RAISE规范语言（RSL）描述6种协议元素的方法。在RSL描述的基础上，借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则......
无线传感器网络(Wireless Sensor Networks，WSN)是沟通物理世界与信息世界的一个重要桥梁。它的出现显著改变了人类与自然界的交互......
随着计算机网络技术的蓬勃发展，Internet已经成为全球通信的核心基础设施。协议是计算机网络中各种通信实体相互交换信息时必须遵守......
IEEE 802.11标准化委员会在1999年10月公布了其开发的IEEE 802.11协议的最新版。该协议规定了无线局域网的媒质访问控制(MAC)层和......
学位
介绍了一种基于FSM(finite state machine)的生成一致性测试序列的改进算法,该方法混合了UIO(unique input/output)方法和T方法,UI......
协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段，阐述了验证技术的目的......
随着我国经济的高速增长,石油在我国常规能源结构中所占的比重越来越大,中国石油需求的缺口也越来越大,石油已经威胁到了我国国家......
我国CTCS-3级列车运行控制系统是基于无线通信GSM-R的列车运行控制系统。GSM-R系统为列车运行提供安全、可靠的数据传输通道,实现......
随着现代物流体系自动化程度的提高,企业自我保护意识的增强,产品的信息化管理成为现代企业管理的一个重要组成部分,而条形码作为......
讨论了为进行协议形式化描述而进行的CSP扩充问题.向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行......
研究以RAISE规范语言（RSL）描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻......
