| 通信协议的实体行为描述语言CPEBSDL |
| |
| 引用本文： | 范昊,吴哲辉.通信协议的实体行为描述语言CPEBSDL[J].计算机研究与发展,2007,44(11):1839-1848. |
| |
| 作者姓名： | 范昊 吴哲辉 |
| |
| 作者单位： | 中国科学院计算技术研究所智能信息处理开放实验室,北京,100080;中国科学院研究生院,北京,100049;山东科技大学信息科学与工程学院,青岛,266510;山东科技大学信息科学与工程学院,青岛,266510 |
| |
| 摘 要： | 提出了一种通信协议的实体描述语言CPEBSDL.CPEBSDL语言是一种描述能力很强的语言,它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述,同以往的描述语言不同,CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中共同使用到的资源的控制和访问,从而简化了交互行为描述的复杂性,便于对协议进行分析和测试.给出CPEBSDL语言规则对应的上下文无关文法G(CPEBSDL),并给出了G(CPEBSDL)的乔姆斯基范式,在此基础上给出了一个判定协议行为的CPEBSDL语言描述是否合法的判定算法——CYK协议行为序列的合法性验证算法.作为一个实例,用CPEBSDL语言对ISDN数据链路层协议LAPD的链接过程进行了完整的描述,并给出了一个判定协议行为序列是否合法的例子.
|
| 关 键 词： | 协议描述语言 行为序列 形式化方法 LAPD协议 算法 |
| 修稿时间： | 2006-08-09 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
