可终止性

作品数：16被引量：16H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：熊中敏郝忠孝蒋曹清彭立杨恒伏更多>>
相关机构：哈尔滨理工大学山东大学武汉大学上海海洋大学更多>>
相关期刊：《计算机工程与应用》《计算机工程与设计》《哈尔滨理工大学学报》《哈尔滨工业大学学报》更多>>
相关基金：国家自然科学基金黑龙江省自然科学基金山东省自然科学基金上海市科委重大科技攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检测的面向服务软件异常处理可终止性的验证方法
《小型微型计算机系统》2015年第11期2484-2491,共8页蒋曹清 肖芳雄 应时 文静 
国家自然科学基础重点项目(91118003;61272113;61272108)资助;国家自然科学基金项目(61070012;61170022;6126200)资助;广西自然科学基金项目(2015GXNSFAA139310)资助;广西高校科学技术研究项目(YB2014349)资助
针对面向服务软件异常处理的可终止性难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,然后基于本文提出...
关键词：面向服务软件 异常处理 模型检测 可终止性验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部