通信协议的实体行为描述语言CPEBSDL

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：Morakot

【摘要】

：

提出了一种通信协议的实体描述语言CPEBSDL．CPEBSDL语言是一种描述能力很强的语言，它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述，同以往的描述语

【作者】

：

范昊吴哲辉

【机构】

：

中国科学院计算技术研究所智能信息处理开放实验室,中国科学院研究生院,山东科技大学信息科学与工程学院

【出处】

：

计算机研究与发展

【发表日期】

：

2007年11期

【关键词】

：

通信协议描述语言交互行为实体 BSDL语言行为描述语言规则 CPE protocol specification and description la

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

提出了一种通信协议的实体描述语言CPEBSDL．CPEBSDL语言是一种描述能力很强的语言，它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述，同以往的描述语言不同，CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中共同使用到的资源的控制和访问，从而简化了交互行为描述的复杂性，便于对协议进行分析和测试．给出CPEBSDL语言规则

其他文献

加强福建省企业高技能人才队伍建设的若干政策建议

【正】一、高技能人才调研概况高技能人才是我国人才队伍的重要组成部分,是我国社会主义现代化建设的重要力量,是提高企业竞争力、推动技术创新和实现科技成果转化不可缺少

期刊

技能人才队伍高技能人才资源开发工作人才流动福建省企业工人队伍现代化建设人才资源配置技能人才培养第一资源

使用批量处理方法提高iSCSI存储系统性能的策略研究

iSCSI存储系统在IP网络上传输SCSI协议，但是在网络上大量的SCSI命令、状态以及小数据的传输严重影响了网络存储系统的性能．传统的批量处理方法将多个小的命令请求合并为一个大

期刊

存储广域网SCSIISCSI批量处理K-batch排队模型NS-2IP-SWAN SCSI iSCSI batch processing

生活之美与忧伤

【正】叹息每次走在我们家外面新修的马路旁.我都忍不住有当偷花贼的欲念。看到行道边新栽种的勒杜鹃被一些粗暴的大脚无情地践踏.我就恨不得把那些无辜的花儿救下来.种到自

期刊

勒杜鹃车来车往能品丝质蚕儿

我记忆深处的空白

期刊

一本汉语言文学专业品德高尚中文专业文学知识中外文学文字记述麓山文学作品哲学类

关于《幻想之眼》的写作

【正】我知道写作可能就是我的本份,我总是像人们常说的那样——我正在写作,而不是——我正在思考,或者我正在阅读——因为"我正在写作"已经包含了后面两项。

期刊

相信自己我不知道我害怕对象感惊人之语一本令人阅读经验在现场迫切感

充分发掘教本价值要素,培养学生口语表达能力

【正】语文课程是致力于学生语文素养的形成与发展的基础性课程。《语文课程标准》明确地把“全面提高语文素养”列为课程的基本理念,并明确地规定“具有适应实际需要的识字

期刊

综合实践活动阅读教学基础性课程阅读感受价值要素情境设计课程标准晏子使楚理解性阅读课文内容

以人为本——中学德育课实践

【正】任何教育活动都是时代精神的缩影,必须随着时代的发展而发展,中学德育也必须与时俱进。当前我国的基础教育课程改革正在如火如荼地进行着,德育教学活动必须将"为了每一

期刊

中学德育德育教学德育课时代精神时代步伐教学情境教育理念新课程改革成长需要教育活动

心灵的洗礼

【正】今天,我刚一踏进教室,同学们就七嘴八舌地向我汇报：“老师,我在菜市场见到小彬了。”“老师,小彬跟我说他转到杏美小学了。”小彬,这个让我又爱又恨的小男孩……几天前

期刊

王志杰教育契机班级工作教导主任外地生我自己主题班会锅碗瓢盆交响曲教学工作手抄报

传感器网络中一种基于分布式更新权限的组密钥管理方案

传统网络中的组密钥管理方案一般依赖于一个长期可信的节点,由该节点存储其他所有用户的信息进行组密钥管理.与传统网络不同的是传感器网络不存在这种可信节点,而且其资源十

期刊

传感器网络组密钥管理分布式更新权限广播认证函数节点剔除sensor network group key management scheme dis

通信协议的实体行为描述语言CPEBSDL

与本文相关的学术论文