形式化描述技术

作品数：8被引量：10H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：顾翔赵保华屈玉贵赵静王颖更多>>
相关机构：中国科学技术大学合肥工业大学上海交通大学北京邮电大学更多>>
相关期刊：《北京邮电大学学报》《微电子学与计算机》《通信学报》《通信技术》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划安徽省自然科学基金中国科学院院长基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CSP和RSL的协议形式化描述技术研究
《微电子学与计算机》2009年第3期93-96,101,共5页顾翔 邱建林 
国家自然科学基金项目(60773041);江苏省高校自然科学重大基础研究项目(07KJA51007);江苏省高校自然科学研究计划项目(05KJD520166);江苏省高校自然科学基础研究项目(08KJB520009);南通市应用研究计划项目(K2007013);2005年南通大学博士启动基金项目;江苏省高校"青蓝工程"
协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较...
关键词：形式化描述技术 通信顺序进程 RSL 
通信软件系统开发中的形式化描述技术
《安庆师范学院学报（自然科学版）》2004年第1期83-86,共4页琚川徽 李龙澍 
国家自然科学基金资助项目(60273043)
本文介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LOTOS、Z、SDL、ESTEREL和MSCs,及情景表示方法UseCaseMaps(UCM),分析了它们的特点,并对它们进行了深入的研究和评价。
关键词：通信软件系统 形式化描述 评价标准 
通信顺序进程的扩充及其在协议形式化技术中的应用被引量：4
《通信学报》2004年第2期43-50,共8页顾翔 赵保华 屈玉贵 
自然科学基金重大研究计划项目(90104010);自然科学基金科学部主任基金资助项目(60241004);教育部博士点基金资助项目(2000035802);安徽省自然科学基金资助项目(01042208);国家"863"计划基金资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支
讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述,并在此基础上初步讨...
关键词：协议工程 通信顺序进程 形式化描述技术 协议测试 
基于FDT技术的无线通信协议实现方法
《通信技术》2003年第10期82-84,共3页胡文 史杏荣 
863项目资助(项目编号:2002AA783043)。
利用形式化描述技术FDT(FormalDescriptionTechnique),可以进行高效、可靠的通信协议与系统开发。以220B协议为例,介绍了MSC、SDL、TTCN等形式化描述语言对通信协议进行描述、分析、仿真、实现的过程;最后说明了如何将整个协议栈在硬件...
关键词：形式化描述技术(FDT) SDL MSC TTCN 220B 
一种基于RSL的协议形式化描述技术的研究被引量：5
《计算机科学》2003年第1期97-98,共2页赵静 屈玉贵 赵保华 
国家自然科学基金(90104010); 国家863计划项目(2001AA112062)
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...
关键词：RSL 形式化描述技术 通信协议 协议工程学 计算机网络 
SDL-2000的形式语义研究被引量：1
《北京邮电大学学报》2001年第4期58-61,共4页王颖 艾波 
信息产业部国际电信联盟对口研究资助项目 (97- T10 - 0 0 3)
介绍了 SDL - 2 0 0 0形式语义的理论基础抽象状态机 (ASM) ,深入分析了 SDL - 2 0 0 0形式语义 ,其中静态语义使用一阶谓词演算定义 ,动态语义使用多代理的分布式
关键词：抽象状态机 形式化描述技术 形式语义 SDL-2000语言 
协议测试中用户信息的形式化描述技术
《计算机工程与科学》2000年第1期43-47,共5页尹霞 吴建平 
国家自然科学基金
无论是协议的一致性测试、互操作测试还是协议性能的测试 ,都只有在接收了用户信息后才开始实际的测试工作。自定义的用户信息缺乏形式化的定义 ,使测试系统很难具有良好的通用性。本文对协议测试中测试系统与测试用户之间的交互信息在...
关键词：协议测试 计算机网络 用户信息 PITS 
计算机网络通信协议的一种形式化描述技术
《重庆师范学院学报（自然科学版）》1999年第1期27-30,39,共5页张广泉 
四川省教委青年科研基金
针对目前绝大多数形式化描述技术在处理协议的活性等方面存在的不足，提出一种新的基于公平性假设的时态逻辑技术描述协议，并给出ＡＢ协议的形式化描述实例。
关键词：通信协议 形式化描述技术 AB协议 计算机网络 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部