韩晓琼
- 作品数：3 被引量：2H指数：1
- 供职机构：教育部更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于模型转换的MARTE顺序图的形式化分析被引量：1
- 2013年
- 作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD,用TTS4SD描述顺序图的形式语义,最后对TTS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法.
- 朱梅霞王捍贫刘西奎韩晓琼
- 关键词：实时系统形式化方法MARTE
- 分布式时间约束的工作流网的数据挖掘算法研究
- 近年来，作为业务流程自动化的一种标准工具，工作流管理系统在实际中得到了广泛的应用。传统的工作流系统通常是基于客户/服务器(C/S)架构的，所以传统的工作流挖掘通常是基于单个服务器产生的事件日志，通过挖掘算法来恢复出原来的...
- 韩晓琼
- 关键词：工作流PETRI网数据挖掘算法
- 一种基于约束的事务工作流并发控制方法被引量：1
- 2011年
- 在辽河流域水环境管理中,许多业务流程操作都满足事务的特性。传统工作流系统中并发控制的实现主要是依据对共享数据项的存取控制,当用来处理事务工作流时会影响系统的效率,因为有的业务流程可能持续的时间比较长,这样它对共享数据项的占有时间就会很长而导致其他流程不能继续流转。为解决这一问题,借助类似于处理器中指令流水的思想研究了一种事务工作流的并发控制方法,并在此基础上建立了总体设计模型,借助并发控制器和任务管理器来高效调度工作流。在保证工作流执行正确的前提下,引入约束的概念来实现事务工作流的并发控制,从而提高系统的性能和效率。
- 刘慧王宁刘元元韩晓琼
- 关键词：事务事务工作流并发控制
