检索结果-维普期刊中文期刊服务平台

基于RSL的协议形式化描述与验证方法被引量：3: 1; 作者顾翔邱建林邵浩然《计算机工程》 CAS CSCD 北大核心 2009年第23期41-43,共3页; 讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相... 展开更多; 关键词协议工程形式化描述 raise规范语言协议验证; 在线阅读下载PDF 职称材料

RSL在协议形式化描述中的应用研究被引量：3: 2; 作者顾翔邱建林蒋峥峥《计算机应用》 CSCD 北大核心 2007年第9期2236-2238,共3页; 将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比... 展开更多; 关键词协议工程形式化描述 rsl; 在线阅读下载PDF 职称材料

UML状态机模型元素的RSL形式化定义被引量：4: 3; 作者郭艳燕刘惊雷《计算机科学》 CSCD 北大核心 2013年第5期177-183,205,共8页; UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一... 展开更多; 关键词统一建模语言(UML ) 状态机形式化方法有穷自动机 raise规约语言(rsl); 在线阅读下载PDF 职称材料

两种形式语言:RSL与Z的分析比较被引量：4: 4; 作者陈怡海缪淮扣《计算机应用与软件》 CSCD 北大核心 2002年第4期9-11,50,共4页; RSL(RAISE规格说明语言)和Z是目前广泛应用的软件规格说明语言,本文从软件开发生命周期的角度对两种语言进行了比较,提出了将不同规格说明语言结合形式地描述系统的设想。; 关键词形式语言 rsl语言 Z语言比较软件开发; 在线阅读下载PDF 职称材料

基于时态逻辑的协议RSL形式化描述: 5; 作者顾翔邱建林《计算机工程》 CAS CSCD 北大核心 2011年第5期7-9,共3页; 研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而... 展开更多; 关键词时态逻辑 raise规范语言形式化描述协议工程; 在线阅读下载PDF 职称材料

基于输入/输出动作的协议形式化描述和测试用例生成方法被引量：1: 6; 作者顾翔邱建林严燕《计算机应用》 CSCD 北大核心 2008年第6期1471-1474,共4页; 通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提... 展开更多; 关键词协议测试形式化描述 raise规范语言; 在线阅读下载PDF 职称材料

题名基于RSL的协议形式化描述与验证方法被引量：3: 1; 作者顾翔邱建林邵浩然; 机构南通大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 北大核心 2009年第23期41-43,共3页; 基金国家自然科学基金资助项目(60773041) 江苏省高校自然科学重大基础研究基金资助项目(07KJA51007) +2 种基金南通大学自然科学基金资助项目(06Z048); 文摘讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相比,RSL表现出较强的描述能力。; 关键词协议工程形式化描述 raise规范语言协议验证; Keywords protocol engineering formal description raise specification language（rsl） protocol verification; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名RSL在协议形式化描述中的应用研究被引量：3: 2; 作者顾翔邱建林蒋峥峥; 机构南通大学计算机科学与技术学院; 出处《计算机应用》 CSCD 北大核心 2007年第9期2236-2238,共3页; 基金江苏省高校自然科学研究计划项目(05KJD520166) 江苏省高校"青蓝工程"项目南通大学博士启动基金资助项目; 文摘将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比,扩充后的RSL描述能力强,描述手段灵活,能更有效地支持验证、测试等后续阶段的工作。; 关键词协议工程形式化描述 rsl; Keywords protocol engineering formal description raise specification language（rsl）; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名UML状态机模型元素的RSL形式化定义被引量：4: 3; 作者郭艳燕刘惊雷; 机构烟台大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2013年第5期177-183,205,共8页; 基金国家自然科学基金(61170224) 山东省自然科学基金(ZR2011FL018) 山东高等学校科研计划项目(J10LG27)资助; 文摘 UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机;然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础。; 关键词统一建模语言(UML ) 状态机形式化方法有穷自动机 raise规约语言(rsl); Keywords Unified modeling language （UML） Statechart Formal method Finite automata raise specification lan- guage（rsl）; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名两种形式语言:RSL与Z的分析比较被引量：4: 4; 作者陈怡海缪淮扣; 机构上海大学计算机工程与科学学院; 出处《计算机应用与软件》 CSCD 北大核心 2002年第4期9-11,50,共4页; 基金国家自然科学基金(编号:699773038) 美国AM基金的资助; 文摘 RSL(RAISE规格说明语言)和Z是目前广泛应用的软件规格说明语言,本文从软件开发生命周期的角度对两种语言进行了比较,提出了将不同规格说明语言结合形式地描述系统的设想。; 关键词形式语言 rsl语言 Z语言比较软件开发; Keywords Formal methods rsl Z specification language; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构] TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于时态逻辑的协议RSL形式化描述: 5; 作者顾翔邱建林; 机构南通大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 北大核心 2011年第5期7-9,共3页; 基金国家自然科学基金资助项目(60773041) 江苏省高校自然科学基础研究基金资助项目(08KJB520009) +2 种基金江苏省高校"青蓝工程"基金资助项目; 文摘研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而证明该描述模型有利于协议验证和协议测试用例生成的自动实现。; 关键词时态逻辑 raise规范语言形式化描述协议工程; Keywords Temporal Logic（TL） raise specification language（rsl） formal description protocol engineering; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于输入/输出动作的协议形式化描述和测试用例生成方法被引量：1: 6; 作者顾翔邱建林严燕; 机构南通大学计算机科学与技术学院; 出处《计算机应用》 CSCD 北大核心 2008年第6期1471-1474,共4页; 基金国家自然科学基金资助项目(60773041) 江苏省高校自然科学重大基础研究项目(07KJA51007) +4 种基金南通市应用研究计划(K2007013) 2005年南通大学博士启动基金江苏省高校"青蓝工程"资助项目; 文摘通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法,并对使用该方法生成的测试用例的性质进行了讨论。; 关键词协议测试形式化描述 raise规范语言; Keywords protocol test formal description raise specification language （rsl）; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于RSL的协议形式化描述与验证方法	顾翔邱建林邵浩然	《计算机工程》 CAS CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
2	RSL在协议形式化描述中的应用研究	顾翔邱建林蒋峥峥	《计算机应用》 CSCD 北大核心	2007	3	在线阅读下载PDF 职称材料
3	UML状态机模型元素的RSL形式化定义	郭艳燕刘惊雷	《计算机科学》 CSCD 北大核心	2013	4	在线阅读下载PDF 职称材料
4	两种形式语言:RSL与Z的分析比较	陈怡海缪淮扣	《计算机应用与软件》 CSCD 北大核心	2002	4	在线阅读下载PDF 职称材料
5	基于时态逻辑的协议RSL形式化描述	顾翔邱建林	《计算机工程》 CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
6	基于输入/输出动作的协议形式化描述和测试用例生成方法	顾翔邱建林严燕	《计算机应用》 CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料