雷义伟
- 作品数：9 被引量：7H指数：1
- 供职机构：中国人民解放军91245部队更多>>
- 发文基金：国家重点实验室开放基金国家部委资助项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于补偿事务的业务流程异常处理建模研究
- 2015年
- 对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、选择、并发等几种基本流程结构及其复合结构中的补偿依赖,给出了补偿活动触发条件计算方法和补偿事务的Petri网模型构造过程,并通过实例说明了方法的可行性。
- 雷义伟贲可荣
- 关键词：异常处理PETRI网
- 一种混合式的指针分析算法
- 2011年
- 指针的指向分析在检测C语言多线程程序的数据竞争中占有重要的地位。Steensgaard提出的流非敏感上下文非敏感的指针别名分析算法,因其执行效率极高的优点被广泛的应用于快速的指针指向分析。但该算法计算结果精度不高,得到的指针指向集往往有误差。针对该不足,引入了Vineet Kahlon的用求最大更新序列来求指针别名的思想,对Steensgaard算法计算出的结果进行了修正。并通过一个实例证明了改进后的算法比先前的算法更精确。
- 雷义伟刘国勤张志祥
- 关键词：上下文敏感控制流图
- 跨组织工作流管理关键技术研究
- 2017年
- 随着网络技术发展,当前企业应用呈现出异构、松耦合和动态性特征,企业整体业务目标需要跨组织协同完成,导致传统集中式工作流管理方式在实现系统的可扩展性、可伸缩性和可用性等方面存在不足。为此,论文提出一种分布式工作流框架,为不同组织设置独立的工作流管理系统,并通过工作流管理系统间的协同交互实现网络环境下的跨组织工作流管理。
- 曾扬贲可荣雷义伟
- 关键词：工作流工作流管理系统
- 基于补偿事务的业务流程异常处理建模研究
- 机制是业务流程中常用的一种异常处理手段，当业务流程的活动出现异常时，它通过撤销已完成活动结果，使发生失效的流程恢复到失效之前的某个状态，从而使流程能继续运行下去.对补偿触发条件的判断影响补偿的正确性,由于业务流程的活动之...
- 雷义伟贲可荣
- 关键词：计算机技术异常处理补偿事务PETRI网模型
- 基于网络的文件持续保护技术研究与实现
- 2012年
- 传统的数据容灾技术由于存在种种的缺陷,不能满足用户对数据实时性保护的需求。文章研究了新型的持续数据保护技术(CDP),并设计和实现了文件的CDP系统。实验表明,系统能实现文件的粒度细保护,使文件能回退到文件之前的任意状态。
- 李勇罗纯哲刘小宝雷义伟
- 关键词：CDP
- 基于Tropos^+需求模型的软件自适应方法
- 2015年
- 在模型驱动的软件自适应控制过程中,监测、分析、决策和执行等活动均基于共享的知识模型。为便于知识重用和运行时维护,常采用抽象级别较高的需求模型来表示知识。为建模软件的适应性需求,针对传统的Tropos及其扩展方法不能用于软件对异常事件适应性需求建模问题,对Tropos进行上下文和异常条件扩展,记为Tropos+。在此基础上,提出一种由Tropos+需求模型驱动的软件自适应方法,该方法能够用于软件运行环境和异常事件监测以及软件对环境变化和异常事件的自适应处理。最后通过一个案例说明了软件自适应过程。
- 雷义伟贲可荣何智勇
- 关键词：自适应软件
- 基于服务冗余的SOA系统容错方法研究
- 2015年
- Web Service的分布、异构和动态特性使面向服务的软件系统易受网络和软硬件故障影响,导致Web Service不可用,进而使整个SOA系统失效。论文提出一种基于服务冗余的容错体系结构,给出服务域划分规则,并介绍了三种容错策略以及一般的容错过程。
- 任宏雷义伟
- 关键词：容错
- 自适应软件需求的形式化建模与验证被引量：1
- 2015年
- 为使自适应软件的需求规约与软件约束一致性验证能够得到已有验证工具的支持,提出了一种基于模型转换的验证方法。该方法通过对Tropos建模方法进行上下文和异常条件扩展来满足自适应软件需求,给出从Tropos需求模型到状态变迁模型的映射规则,并通过验证软件约束公式在状态变迁模型上的可满足性,达到验证软件需求与软件约束一致性的目的。最后,通过舰船火灾损管系统的实例说明了自适应软件需求的建模和验证过程。
- 雷义伟贲可荣何智勇
- 关键词：自适应软件
- 电磁环境感知与可视化仿真系统的设计与研究被引量：6
- 2012年
- 阐述了电磁环境感知与可视化仿真系统的总体结构和功能;分析了电磁环境感知分系统的设计理念和关键技术;提出基于HLA的可视化仿真的结构体系,给出了电磁环境可视化仿真分系统的设计方法。感知与可视化仿真相结合,形成真实可靠、形象逼真的电磁环境态势,为决策和控制提供依据和保障。
- 童斌雷义伟
- 关键词：电磁环境感知研究HLA
