韩晓琼

作品数：2被引量：2H指数：1
导出分析报告
供职机构：教育部更多>>
发文主题：并发控制方法并发控制MARTE形式化分析形式化方法更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机系统应用》《小型微型计算机系统》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国家科技重大专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型转换的MARTE顺序图的形式化分析被引量：1
《小型微型计算机系统》2013年第1期100-106,共7页朱梅霞 王捍贫 刘西奎 韩晓琼 
国家自然科学基金项目(60873061)资助;国家"九七三"重点基础研究发展计划项目(2009CB320701;2010CB328103)资助
作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行...
关键词：实时系统 形式化方法 MARTE 时间变迁系统 验证 
一种基于约束的事务工作流并发控制方法被引量：1
《计算机系统应用》2011年第12期181-184,共4页刘慧 王宁 刘元元 韩晓琼 
国家水体污染控制与治理科技重大专项(2009ZX07528-006-05)
在辽河流域水环境管理中,许多业务流程操作都满足事务的特性。传统工作流系统中并发控制的实现主要是依据对共享数据项的存取控制,当用来处理事务工作流时会影响系统的效率,因为有的业务流程可能持续的时间比较长,这样它对共享数据项的...
关键词：事务 事务工作流 并发控制 约束 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部