RAISE规范语言

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于时态逻辑的协议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规范语言 协议验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部