通信协议的实体行为描述语言CPEBSDL
文献类型：期刊论文
| 作者 | 范 昊; 吴哲辉 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2007 |
| 期号 | 第11期页码:1839~1848页 |
| 关键词 | 协议描述语言 行为序列 形式化方法 Lapd协议 算法 |
| 英文摘要 | 提出了一种通信协议的实体描述语言CPEBSDL. CPEBSDL语言是一种描述能力很强的语言，它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述，同以往的描述语言不同，CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中共同使用到的资源的控制和访问，从而简化了交互行为描述的复杂性，便于对协议进行分析和测试.给出CPEBSDL语言规则对应的上下文无关文法G(CPEBSDL)，并给出了G(CPEBSDL)的乔姆斯基范式，在此基础上给出了一个判定协议行为的CPEBSDL语言描述是否合法的判定算法——CYK协议行为序列的合法性验证算法.作为一个实例，用CPEBSDL语言对ISDN数据链路层协议LAPD的链接过程进行了完整的描述，并给出了一个判定协议行为序列是否合法的例子. |
| 语种 | 中文 |
| 公开日期 | 2010-10-13 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/594]  |
| 专题 | 中国科学院计算技术研究所期刊论文_2007年中文 |
| 推荐引用方式 GB/T 7714 | 范 昊,吴哲辉. 通信协议的实体行为描述语言CPEBSDL[J]. 计算机研究与发展,2007(第11期):1839~1848页. |
| APA | 范 昊,&吴哲辉.(2007).通信协议的实体行为描述语言CPEBSDL.计算机研究与发展(第11期),1839~1848页. |
| MLA | 范 昊,et al."通信协议的实体行为描述语言CPEBSDL".计算机研究与发展 .第11期(2007):1839~1848页. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。