形式描述技术:直观LOTOS的提出和研究 被引量：1

1

作者 史美林 闵京华 《通信学报》 EI CSCD 北大核心 1989年第4期28-38,共11页

计算机网络协议形式描述技术FDT是计算机网络协议工程中基本而重要的一个课题。LOTCS语言是FDT中的一种方法。它是由国际标准化组织ISO/TC97/SC21/WG1关于FDT特别小组提出的。本文在研究了标准LOTOS的基础上,对其进程语法表示方法进行... 计算机网络协议形式描述技术FDT是计算机网络协议工程中基本而重要的一个课题。LOTCS语言是FDT中的一种方法。它是由国际标准化组织ISO/TC97/SC21/WG1关于FDT特别小组提出的。本文在研究了标准LOTOS的基础上,对其进程语法表示方法进行了重大改进,提出直观LOTOS的概念。 展开更多

关键词 形式描述技术 LOTOS 语言 计算机

在线阅读 下载PDF 职称材料

形式描述技术在通信协议安全分析中的应用

2

作者 满毅 单洪 《计算机应用》 CSCD 北大核心 2008年第B06期95-97,100,共4页

讨论在通信协议安全分析中形式描述技术的使用方法。重点研究在协议模型的基础上建立层次化的协议攻击行为模型的方法,对所建模型进行形式化验证和脆弱性分析,根据验证和分析结果提出防护措施,设计安全方案。给出Petri网建模实例,提出... 讨论在通信协议安全分析中形式描述技术的使用方法。重点研究在协议模型的基础上建立层次化的协议攻击行为模型的方法,对所建模型进行形式化验证和脆弱性分析,根据验证和分析结果提出防护措施,设计安全方案。给出Petri网建模实例,提出形式描述技术在通信协议安全分析中的一些其他应用。 展开更多

关键词 协议安全 形式描述技术 PETRI网 形式化验证

在线阅读 下载PDF 职称材料

一种基于RSL的协议形式化描述技术的研究 被引量：5

3

作者 赵静 屈玉贵 赵保华 《计算机科学》 CSCD 北大核心 2003年第1期97-98,共2页

This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of p... This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of protocolsbased on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal de-scription based on RSL is given. 展开更多

关键词 RSL 形式化描述技术 通信协议 协议工程学 计算机网络

在线阅读 下载PDF 职称材料

通信顺序进程的扩充及其在协议形式化技术中的应用 被引量：4

4

作者 顾翔 赵保华 屈玉贵 《通信学报》 EI CSCD 北大核心 2004年第2期43-50,共8页

讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述,并在此基础上初步讨... 讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述,并在此基础上初步讨论了协议规范的正确性及测试用例的生成。 展开更多

关键词 协议工程 通信顺序进程 形式化描述技术 协议测试

在线阅读 下载PDF 职称材料

用于通信网络协议开发的形式化方法 被引量：8

5

作者 潘红艳 于全 《计算机工程》 CAS CSCD 北大核心 2004年第2期129-130,134,共3页

阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议。介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即SDL、ESTELLE、Petri网、LOTOS,并给出了对这些形式化方... 阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议。介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即SDL、ESTELLE、Petri网、LOTOS,并给出了对这些形式化方法的分析和评价。 展开更多

关键词 协议工程 形式化方法 形式描述技术 SDL ESTELLE PETRI网 LOTOS

在线阅读 下载PDF 职称材料

NEUT-TP4:一个MAP传送层协议的描述及其半自动的实现

6

作者 张伟 刘积仁 李华天 《小型微型计算机系统》 CSCD 北大核心 1993年第6期1-9,共9页

MAP协议是一套用于工业自动化的计算机通讯协议,国际标准化组织所开发的七层协议模型中的第四层——传送层(第四类)是MAP协议集的核心部分。该协议可为不同主机上的用户进程提供可靠的“端——端”(end——end)数据传送服务。本文介绍... MAP协议是一套用于工业自动化的计算机通讯协议,国际标准化组织所开发的七层协议模型中的第四层——传送层(第四类)是MAP协议集的核心部分。该协议可为不同主机上的用户进程提供可靠的“端——端”(end——end)数据传送服务。本文介绍了东北工学院计算机系软件与网络工程研究室在MAP协议开发中,用Estell,语言描述一个符合ISO传送层Class 4协议标准的软件包NEUT—TP4并且使用协议开发工具Estelle编译器将它半自动地实现出来的过程。 展开更多

关键词 计算机网络 形式描述技术 通信协议

在线阅读 下载PDF 职称材料

一个基于知识的通信有限状态机生成器 被引量：3

7

作者 张尧学 史美林 朱劲松 《通信学报》 EI CSCD 北大核心 1992年第2期10-14,48,共6页

通信有限状态机(CFSM)是一种直观、易懂且描述能力较强的形式描述工具。它被广泛地用来描述通信协议等。但是,由于描述对象的复杂性和缺少适当的支援工具,通信有限状态机的生成一般依靠手工完成。这除了效率低外,也使得所产生的CFSM的... 通信有限状态机(CFSM)是一种直观、易懂且描述能力较强的形式描述工具。它被广泛地用来描述通信协议等。但是,由于描述对象的复杂性和缺少适当的支援工具,通信有限状态机的生成一般依靠手工完成。这除了效率低外,也使得所产生的CFSM的性能取决于描述人员的习惯、经验、能力等。本文描述一个基于知识的CFSM半自动生成器。该生成器用专家系统开发语言OPS83构成,能交互地生成两个不含常见逻辑错误的互相传递消息的CFSM。另外,该生成器还以友好的用户接口:(图形、颜色、文字等方式)向用户展示CFSM的生成过程和生成结果。 展开更多

关键词 通信协议 有限状态机 形式描述技术

在线阅读 下载PDF 职称材料

从协议Petri网到Estelle的转换

8

作者 罗军舟 杨晓燕 《系统仿真学报》 CAS CSCD 2003年第z1期78-82,共5页

Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用。而Estelle类似于程序语言,可对协议进行无二义的描述。本文针对现有Petri网... Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用。而Estelle类似于程序语言,可对协议进行无二义的描述。本文针对现有Petri网系统的不足,从协议形式描述的角度出发,定义了一种抽象通信特性的协议Petri网,给出了由协议Petri网转换为Estelle形式的方法。基于此方法文章还构造了自动实现转换的算法,并给出了一个实例。 展开更多

关键词 协议Petri网 ESTELLE 形式描述技术之转换 协议描述

在线阅读 下载PDF 职称材料

E-LOTOS的图形化编译软件的扩充和完善

9

作者 赵佳 刘吉强 《北方交通大学学报》 CSCD 北大核心 2004年第2期53-56,共4页

在赵玉兰的编译软件的基础上完成了对相同节点的合并;实现了对递归的处理;用两种方法实现了loop循环语句以及实现了多层次调用子程序的功能.此外,还对原编译软件的图形移动和图形扩展功能进行了完善.最后将由E＿LOTOS描述后的部分RIP协... 在赵玉兰的编译软件的基础上完成了对相同节点的合并;实现了对递归的处理;用两种方法实现了loop循环语句以及实现了多层次调用子程序的功能.此外,还对原编译软件的图形移动和图形扩展功能进行了完善.最后将由E＿LOTOS描述后的部分RIP协议用该软件转化为GE＿LOTOS. 展开更多

关键词 编译系统 E-LOTOS GE-LOTOS 形式描述技术 RIP协议

在线阅读 下载PDF 职称材料

Estelle中的通道扩展及广播通道 被引量：1

10

作者 王继增 苗志锋 +1 位作者 姜春艳 孙昊 《计算机工程与设计》 CSCD 北大核心 2006年第4期578-580,592,共4页

广播通道(点到多点通道)是一种普遍适用于计算机通信网络的结构概念。而作为形式化描述技术(FDT)标准之一的Estelle,其本身并不支持广播通道的描述。对Estelle中的通道概念进行扩展,使其能够描述广播通道。通过分析Estelle通道的3种扩... 广播通道(点到多点通道)是一种普遍适用于计算机通信网络的结构概念。而作为形式化描述技术(FDT)标准之一的Estelle,其本身并不支持广播通道的描述。对Estelle中的通道概念进行扩展,使其能够描述广播通道。通过分析Estelle通道的3种扩展方案,引入了虚拟转发接口模块(VFNM)的概念。在尽可能保持与原版本的兼容性和一致性的基础上,对新的基于VFNM的广播通道扩展模型的语法和语义进行修订说明,从而扩展了Estelle对广播通道的描述能力。 展开更多

关键词 ESTELLE 通道 广播通道 形式描述技术 虚拟接口模块 协议

在线阅读 下载PDF 职称材料

OSI协议开发中的抽象语法表示ASN.1

11

作者 何长生 曾华桑 程丽娟 《计算机应用》 CSCD 1989年第S2期74-81,共8页

抽象语法表示 ASN.1 提供独立于信息特定表示的信息抽象语法,具有系统的编码模式 BER.本文概略地介绍 ASN.1及其传送语法;结合笔者的工作实践,讨论 ASN.1在 OSI 通信协议描述、实现及测试中应用的研究.

关键词 ASN.1协议 规范说明 形式描述技术 标准化测试 OSI 应用层协议

在线阅读 下载PDF 职称材料