RAISE规范语言

作品数：8被引量：9H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：顾翔邱建林孙林夫邵浩然蔡琼更多>>
相关机构：南通大学西南交通大学合肥工业大学北京交通大学更多>>
相关期刊：《计算机应用研究》《计算机工程》《计算机应用》《计算机工程与科学》更多>>
相关基金：国家自然科学基金南通市应用研究计划项目江苏省高校自然科学研究项目南通大学自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于时态逻辑的协议RSL形式化描述
《计算机工程》2011年第5期7-9,共3页顾翔 邱建林 
国家自然科学基金资助项目(60773041);江苏省高校自然科学基础研究基金资助项目(08KJB520009);南通市应用研究计划基金资助项目(K2008005);江苏省博士后科研资助计划基金资助项目(1002002B);江苏省高校"青蓝工程"基金资助项目
研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而...
关键词：时态逻辑 RAISE规范语言 形式化描述 协议工程 
基于RSL的协议形式化描述与验证方法被引量：3
《计算机工程》2009年第23期41-43,共3页顾翔 邱建林 邵浩然 
国家自然科学基金资助项目(60773041);江苏省高校自然科学重大基础研究基金资助项目(07KJA51007);江苏省高校自然科学基础研究基金资助项目(08KJB520009);南通市应用研究计划基金资助项目(K2008005);南通大学自然科学基金资助项目(06Z048)
讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相...
关键词：协议工程 形式化描述 RAISE规范语言 协议验证 
可信软件实时性测试用例集生成方法研究被引量：2
《计算机应用研究》2009年第6期2344-2346,2348,共4页蔡琼 李兴国 丁帅 
国家自然科学基金资助项目(90718037)
基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造...
关键词：时间化RAISE规范语言 实时性 可信软件 测试用例 
基于输入/输出动作的协议形式化描述和测试用例生成方法被引量：1
《计算机应用》2008年第6期1471-1474,共4页顾翔 邱建林 严燕 
国家自然科学基金资助项目(60773041);江苏省高校自然科学重大基础研究项目(07KJA51007);江苏省高校自然科学研究计划(05KJD520166);南通市应用研究计划(K2007013);2005年南通大学博士启动基金;南通大学自然科学基金项目(05Z057和06Z051);江苏省高校"青蓝工程"资助项目
通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提...
关键词：协议测试 形式化描述 RAISE规范语言 
一种基于逻辑约束的软件设计过程验证方法及其工程实践
《西南师范大学学报（自然科学版）》2007年第4期82-86,共5页何俊梅 邹显春 
西南大学教改项目(2006JY44)
如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效...
关键词：统一建模语言 逻辑约束 教学管理平台 RAISE规范语言 
用形式化方法设计工程智能CAD中的模型-实例库
《计算机应用》2000年第S1期149-150,共2页李曙光 孙林夫 
模型 -实例库是基于知识的智能CAD系统的重要组成部分。本文用RAISE规范语言对原型库及实例库的结构及它们之间的关系进行了形式化地描述。通过将形式化规约自动翻译成C ++代码 ,建造了智能CAD系统的一个运行模型。
关键词：计算机辅助设计 人工智能 模型库 实例库 RAISE规范语言 
形式化语言对实例-模型库的规约被引量：3
《计算机应用》2000年第S1期143-144,共2页蒋庆 孙林夫 
利用以数学为基础的形式化语言RAISE对支持基于实例推理的实例 -模型库进行规约 ,通过建立严格的抽象化数学模型 ,有利于设计者更好的理解系统结构 ,及早排除系统缺陷 ,维护知识项之间的一致性。
关键词：基于实例的推理 形式化方法 知识库 RAISE规范语言 
RAISE规范语言及其语义特征
《计算机工程与科学》1993年第4期28-33,89,共7页李舟军 宁洪 刘春林 
本文简要介绍了RAISE规范语言的基本概念,并描述了其语义特征。从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
关键词：软件开发 规范语言 语义特征 RAISE 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部