从Petri网到形式描述技术和协议工程

协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,讨论了各种形式描述技术 ( formal description technique,简称 FDT)的特性及其优缺点 ,从而引出基于 Petri网理论的 FDT.该文说明了 Petri网作为协议描述技术的优势 ,指出当前基于Petri网的协议工程研究的难点 ,其中面向协议开发的网工具是一项重要的研究内容 .按照开放系统互连参考模型的层次 ,总结了国际上的研究进展情况 ,并阐述了未来的研究趋势 .最后从协议描述、协议验证与分析以及辅助测试与实现这 3个角度给出了基于

协议工程方法学综论

协议工程是计算机通信及网络研究中正在发展着的一个重要领域,其主要目的在于提供开发协议软件的一个系统方法。本文试图对协议工程系统的基本概念、特性、组成部分及其方法研究作一个简明而又系统的概括,特别要探讨在OSI环境下协议系统的开发方法。这一研究反映了通信及网络协议研究中软件生产自动化的要求。

协议工程和协议性能测试框架

随着计算机网络技术和网络应用的迅速发展,网络协议性能测试变得越来越重要。该文主要论述了协议工程的活动、方法及其开发过程,并对协议性能测试技术做了较详细的描述,然后论述了性能测试的结构框架,最后描述了性能测试的各个阶段。

合作学习理论在“协议工程”教学中的实践研究

合作式学习是当今最有影响的教学方式之一,已经被众多实践证实在培养学生的综合素质和能力、提高学生学习效率和兴趣方面有明显作用。根据研究生有较好的知识储备和社交技能,适合采用合作式教学的特点,提出"小先生"制的合作式教学实施策略,并在承担的研究生"协议工程"教学中进行了实践探索。结果表明:"小学生"制合作教学模式能较好促进研究生的探索激情,激发创新思维,提升研究生研究交流与合作能力。

基于知识工程的协议工程

本文综述和讨论知识工程技术在协议工程中的应用问题。首先,我们介绍什么是知识工程和协议工程。然后,我们讨论传统的协议开发模式——生命周期模式中所存在的主要问题并指出如何用知识工程的方法去解决。在此基础上,我们提出了两种把知识工程应用于协议工程的方式:即对生命周期模式改革的方式和对共进行革命的方式。最后我们指出:把知识工程应用于协议工程将使得开发人员的经验和知识得以共享,从而将使得协议开发的质量和效率提高;而且,知识工程技术的应用将会大大地增加协议各开发环节的动态反馈和使得协议与开发系统易于维护。

协议工程技术

协议工程技术罗军舟，顾冠群（东南大学计算机系南京２１００９６）协议工程用形式化的方法描述在计算机网络协议严格的设计和维护中的各个活动，它是研究对象为协议的软件工程，但它建立一套比现有软件工作一般方法更严格、更数学化的协议设计方法。１协议工程活动协议工...

协议工程形式化方法的研究及辅助设计工具的实现

采用工程的方法对计算机通信协议形式化理论进行了研究，并详细叙述了所设计的、基于Ｐｅｔｒｉ网理论的辅助设计工具Ｐｅｔｏｎ，是对“协议工程”方法学的一种补充。

通信协议工程学进展

本文讨论通信协议工程学中的协议开发生命周期,协议的典型开发阶段,其中包括协议形式描述、协议验证、协议实现、协议一致性测试,以及主要研究方向。

协议工程行为模型的研究

近年,随着计算机网络和分布式系统的不断发展,各类新型通信技术和分布式应用已开始出现,其中主要包括高速光纤网、多介质通信、宽带综合业务数字网(B-ISDN)、智能网,以及综合语音、数据和图象服务等。它们已对计算机通信协议的设计和实现带来了很大影响。为了适应这种形势的发展,一门新兴的高科技学科—协议工程已应运而生。协议工程本质上是计算机硬件工程和软件工程的理论方法在通信协议设计和实现中的具体应用,但由于协议具有实时、互操作和同步性等特点,因而其复杂度又要比一般传统软件大得多。协议工程的主要研究目标是使协议软件的生产怎样更好地实现规范化、工程化和自动化。

协议工程的形式描述技术

本文讨论适应于协议工程的形式描述技术。文中以一个通信系统为例子,论述和分析了Petri网、LOTOS、关系表示法、Z表示法,以及面向对象Z等形式描述技术的形式描述风格及其特征。

网络协议工程中的Petri网技术

按照OSI/RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop and Wait通信协议进行描述分析.

CCS及其在协议工程中的应用

本文讨论的两个案例表明，通讯系统演算ＣＣＳ（ａＣａｌｃｕｌｕｓｆｏｒＣｏｍｍｕｎｉｃａｔｉｎｇＳｙｓｔｅｍｓ）在协议描述、协议验证等方面有很大应用潜力。

网络协议工程的研究

网络协议工程是计算机通信及网络研究中正在发展着的一个重要领域。研究网络协议工程的目的在于研究和提供用较高的效率和较低的代价开发高质量通信协议软件的规范化、方法及工具,使网络软件的设计和实现走向规范化、自动化。本文综述了网络协议工程的模式已取得的进展及存在问题,指出传统的模式已严重束缚网络协议工程的发展,解决方法之一是在网络协议工程中引入知识工程,开展基于知识工程的网络工程的研究。

电信协议工程与形式化方法

通过分析电信协议的特点以及目前在开发电信协议中遇到的困难,提出了用电信协议工程的方法来开发电信协议,并详细概述了电信协议工程的各个环节,介绍了电信协议工程的核心——形式化方法和目前已被标准化并在电信领域应用较广泛的一些形式化方法:SDL(SpecificationandDescriptionLanguage),MSC(MessageSe-quenceCharts),ASN.1(AbstractSyntaxNotationOne),TTCN(TreeandTabularCombinedNotation),最后总结了采用形式化方法进行电信协议分析和设计的优势.

在协议工程中应用统一建模语言UML的方法

协议工程与软件工程有着天然的联系。将软件工程中常用的分析工具，统一建模语言UML，应用于协议工程也是非常自然的事。本文结合对GBN—ARQ协议的UML描叙，给出了用UML描叙协议的一些方法。

基于深度学习的二进制变种协议字段划分方法

为提高二进制变种协议字段格式划分的准确率,提出一种基于深度学习的方法,能够自动挖掘协议报文序列的深层字段特征完成协议的字段格式划分。引入一种字段列特征数据集的提取方法,在传统的双向长短期记忆条件随机场网络模型的基础上增加协议字段列特征提取模块,搭建一种专门解决二进制变种协议字段格式划分的神经网络PRO-BILSTM-CRF。与二进制未知协议字段格式划分方法以及几种主流网络模型的对比实验结果表明,在变种协议字段格式划分任务上,提出模型能够取得更高准确率。

无线传感器网络的协议再工程与方法研究

基于协议工程和软件再工程的相关概念,提出一种针对无线传感器网络协议定制行为的规范化工作流程,命名为协议再工程。阐明了协议再工程产生的背景、定义、生命周期和工作流程;同时提出一种将统一建模语言和着色Petri网的U-CPN相集成的方法,用于协议再工程中的形式化描述模型的建立与验证,并对U-CPN和统一建模语言模型的等价性作出了基于网射的证明。最后,通过一个Zigbee相关的实例表明,在U-CPN方法基础上使用协议再工程指导协议修改,在可控性和描述力上具有优势,尤其加强了协议再工程中的形式化分析能力,可以很好地保证协议的修改质量。

协议逆向工程研究进展

首先给出了协议逆向工程的形式化定义,并探讨了主要应用领域的特定需求;然后从报文序列分析和指令执行序列分析两个方面介绍了协议逆向技术的研究现状,并对两类技术的优劣进行了比较;最后结合当前方案的缺陷和实际应用的需求,对协议逆向技术的发展趋势进行了展望。