形式描述技术相关论文
介绍了一种新的形式描述技术——基于面向对象的形式描述技术OOBFDT,讨论了协议的建模方法,并在协议的模型上给出了导出一致性测试......
协议一致性测试是验证计算机网络协议实现与其标准之间的一致性、保证计算机网络各部分正确互连和互操作的关键技术.路由协议用于......
该文主要进行分布式多视点需求工程形式化研究,目标是建立一个基于Z语言的分布式多视点需求工程形式化模型,为分布式多视频需求工......
该文讨论的分布式多视点需求工程采用多视点技术将系统需求划分为多个视点需求,降低需求分析的难度;采用形式描述技术或非形式描述......
利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所......
协议是计算机网络的命脉,协议复杂性的提高导致了协议工程学科的出现.该文首先分析了协议工程各项活动的内容、方法和相互关系,讨......
利用面向对象程序设计语言Ｊａｖａ完善从文体ＬＯＴＯＳ到ＣＥ－ＬＯＴＯＳ的工具软件，使得以抽象层形式体现出来的ＧＥ－ＬＯＴＯＳ的某一子过程或所有子过程动态展开，而且为了方便用户......
计算机网络协议形式描述技术FDT是计算机网络协议工程中基本而重要的一个课题。LOTCS语言是FDT中的一种方法。它是由国际标准化组......
讨论在通信协议安全分析中形式描述技术的使用方法。重点研究在协议模型的基础上建立层次化的协议攻击行为模型的方法,对所建模型......
抽象语法表示 ASN.1 提供独立于信息特定表示的信息抽象语法,具有系统的编码模式 BER.本文概略地介绍 ASN.1及其传送语法;结合笔者......
介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程.重点研究了如何利用SDL语言抽象出PPP协议......
在赵玉兰的编译软件的基础上完成了对相同节点的合并;实现了对递归的处理;用两种方法实现了loop循环语句以及实现了多层次调用子程......
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议.介绍了协议工程、形式化方法及核心技术形式描述......
MAP协议是一套用于工业自动化的计算机通讯协议,国际标准化组织所开发的七层协议模型中的第四层——传送层(第四类)是MAP协议集的......
通信有限状态机(CFSM)是一种直观、易懂且描述能力较强的形式描述工具。它被广泛地用来描述通信协议等。但是,由于描述对象的复杂......
广播通道（点到多点通道）是一种普遍适用于计算机通信网络的结构概念。而作为形式化描述技术（FDT）标准之一的Estelle，其本身并不支持广播......
