-
题名通信协议的实体行为描述语言CPEBSDL
- 1
-
-
作者
范昊
吴哲辉
-
机构
中国科学院计算技术研究所智能信息处理开放实验室
山东科技大学信息科学与工程学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2007年第11期1839-1848,共10页
-
基金
国家自然科学基金项目(60673053)~~
-
文摘
提出了一种通信协议的实体描述语言CPEBSDL.CPEBSDL语言是一种描述能力很强的语言,它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述,同以往的描述语言不同,CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中共同使用到的资源的控制和访问,从而简化了交互行为描述的复杂性,便于对协议进行分析和测试.给出CPEBSDL语言规则对应的上下文无关文法G(CPEBSDL),并给出了G(CPEBSDL)的乔姆斯基范式,在此基础上给出了一个判定协议行为的CPEBSDL语言描述是否合法的判定算法——CYK协议行为序列的合法性验证算法.作为一个实例,用CPEBSDL语言对ISDN数据链路层协议LAPD的链接过程进行了完整的描述,并给出了一个判定协议行为序列是否合法的例子.
-
关键词
通信协议
描述语言
交互行为
实体
BSDL语言
行为描述
语言规则
CPE
-
Keywords
protocol specification and description language
behavior sequence
formal method
lapdprotocol
algorithm
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-