检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

计算机研究与发展 2007年第11期44卷 1839-1848页

作者：范昊吴哲辉中国科学院计算技术研究所智能信息处理开放实验室山东科技大学信息科学与工程学院青岛266510

提出了一种通信协议的实体描述语言CPEBSDL.CPEBSDL语言是一种描述能力很强的语言,它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述,同以往的描述语言不同,CPEBSDL语言把协议实体之间复杂的交互行为看做是... 详细信息

提出了一种通信协议的实体描述语言CPEBSDL.CPEBSDL语言是一种描述能力很强的语言,它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述,同以往的描述语言不同,CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中共同使用到的资源的控制和访问,从而简化了交互行为描述的复杂性,便于对协议进行分析和测试.给出CPEBSDL语言规则对应的上下文无关文法G(CPEBSDL),并给出了G(CPEBSDL)的乔姆斯基范式,在此基础上给出了一个判定协议行为的CPEBSDL语言描述是否合法的判定算法——CYK协议行为序列的合法性验证算法.作为一个实例,用CPEBSDL语言对ISDN数据链路层协议LAPD的链接过程进行了完整的描述,并给出了一个判定协议行为序列是否合法的例子.

关键词：通信协议描述语言交互行为实体 BSDL语言行为描述语言规则 CPE

在线全文

学校读者我要写书评

暂无评论

一种基于图转换的模型重构描述语言

软件学报 2009年第8期20卷 2087-2101页

作者：刘辉麻志毅邵维忠北京理工大学计算机学院北京100081 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提... 详细信息

提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构CASE支撑工具.通过实例讨论了该模型重构描述语言的描述能力.结果表明,该语言具有较强的描述能力,能够比较简洁地描述复杂的模型重构规则.

关键词：重构模型图转换描述语言

在线全文

学校读者我要写书评

暂无评论

一种通用维修策略描述语言

计算机集成制造系统 2010年第10期16卷 2057-2063页

作者：刘明刘英博张力吕志峰清华大学软件学院北京100084 山西兰花科技创业股份有限公司山西晋城048000

为解决计算机辅助的设备维修管理中,维修策略复杂多样、描述方式不统一所带来的维修知识难以共享的问题,定义了一种维修策略描述语言。该语言从维修对象选择、维修判定条件描述、维修执行方法和策略有效性四个方面对维修策略进行了统一... 详细信息

为解决计算机辅助的设备维修管理中,维修策略复杂多样、描述方式不统一所带来的维修知识难以共享的问题,定义了一种维修策略描述语言。该语言从维修对象选择、维修判定条件描述、维修执行方法和策略有效性四个方面对维修策略进行了统一定义,具有很好的通用性。通过示例阐明了定期维修、基于状态的维修、事后维修等典型维修策略的维修策略描述语言描述方法。基于所定义语言实现了维修策略表示和判定工具,并在企业中得到了应用,验证了该语言的实用性。

关键词：维修计划维修策略描述语言设备维修

在线全文

学校读者我要写书评

暂无评论

一种基于构件的分布式软件构架描述语言

西安交通大学学报 2002年第6期36卷 612-615页

作者：何坚房鼎益王志敏覃征西安交通大学电子与信息工程学院西安710049 西北大学计算机科学系

针对分布式软件系统规模和复杂性不断增大的特点 ,在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言 (DSADL) ,详细描述了DSADL的设计目标、组成元素以及形式化描述基础 ,并实现了分布式软件构架集成开发环境 (ED... 详细信息

针对分布式软件系统规模和复杂性不断增大的特点 ,在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言 (DSADL) ,详细描述了DSADL的设计目标、组成元素以及形式化描述基础 ,并实现了分布式软件构架集成开发环境 (EDAD) .由于DSADL结合了SADL与构件技术 ,因此它既有严格的语义基础 ,同时又具有构件的可复用性、易移植性的特点 .实践证明 ,DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计。

关键词：构件软件体系结构描述语言分布式软件属性文法

在线全文

学校读者我要写书评

暂无评论

计算机网络防御策略描述语言研究

计算机研究与发展 2009年第1期46卷 89-99页

作者：夏春和魏玉娣李肖坚王海泉何巍北京航空航天大学虚拟现实技术与系统国家重点实验室北京100083 北京航空航天大学网络技术北京市重点实验室北京100083 广西师范大学计算机科学与信息工程学院广西桂林541000 北京航空航天大学软件学院北京100083

定义了一种计算机网络防御策略描述语言CNDPSL(computer network defense policy specificationlanguage).该语言面向CNDPM模型,能够统一描述保护、检测和响应策略.在CNDPM模型中,给出了抽象策略细化为具体规则的推导原理,并以形式化的... 详细信息

定义了一种计算机网络防御策略描述语言CNDPSL(computer network defense policy specificationlanguage).该语言面向CNDPM模型,能够统一描述保护、检测和响应策略.在CNDPM模型中,给出了抽象策略细化为具体规则的推导原理,并以形式化的方法分析并验证了策略的完备性、一致性和有效性.CNDPSL是一种声明式语言,抽象了网络防御控制的行为,对网络防御需求具有较好的灵活性、可扩展性和适应性.最后给出了策略引擎的原型及其实现.在GTNetS仿真平台中的实验表明,该语言能够自动地转化为具体的技术规则并实现其表达的防御效能.

关键词：计算机网络防御策略 CNDPM模型描述语言策略引擎