ESTELLE相关论文
Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协......
Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协......
随着形式描述技术ＦＤＴ的日趋成熟，有必要开发一种真正意义上的集成化协议开发工具集，本文引入面向对象模型，提出了一种基ＥＳＴＥＬＬＥ的工具界面语言ＴＩＬ，使......
通信软件工程包括系统建模和设计实现两大阶段,分别采用非形式化技术与形式化技术.定义了从非形式化的面向对象的图形语言UML,到形......
本文主要研讨了一种著名的形式描述技术Estelle。文中先论述了Estelle的主要特征;接着讨论了Estelle的语法和语义;最后给出了Estel......
本文主要研讨了一种著名的形式描述技术Estelle。文中先论述了Estelle的主要特征;接着讨论了Estelle的语法和语义;最后给出了Estel......
德国著名的电动自行车生产厂商——海茨曼姆公司，在“2006科隆国际自行车展”上强劲推出了一款其历经艰辛而开发成功、名为“ESTELL......
文中给出了小型文件传输协议ＴＦＴＰ的ＥＳＴＥＬＬＥ语言的形式化描述及自动生成工具ＥＩＴ，并对ＥＳＴＥＬＬＥ语言进行了扩展．引入限定注释机制，使描述功能增强，协议描述与实现......
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议.介绍了协议工程、形式化方法及核心技术形式描述......
广播通道（点到多点通道）是一种普遍适用于计算机通信网络的结构概念。而作为形式化描述技术（FDT）标准之一的Estelle，其本身并不支持广播......
This paper presents a secure communication protocol model-EABM, by which network security communication can be realized ......
