闫大强

作品数:2被引量:2H指数:1
导出分析报告
供职机构:杭州电子科技大学计算机学院更多>>
发文主题:路由服务总线横切关注点规则引擎消息路由更多>>
发文领域:自动化与计算机技术经济管理更多>>
发文期刊:《电子科技大学学报》《华中科技大学学报(自然科学版)》更多>>
所获基金:国家自然科学基金浙江省自然科学基金浙江省重点科技计划浙江省重大科技专项基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-2
视图:
排序:
基于模型检测的服务规则路由正确性验证方法被引量:2
《电子科技大学学报》2014年第1期107-112,共6页俞东进 吴为 殷昱煜 闫大强 刘志清 
国家自然科学基金(61100043);浙江省自然科学基金(LY12F02003);浙江省重大科技计划(2008C11099-1);浙江省网络系统及信息安全重点实验室基金
基于模型检测技术,提出了一种适用于集成了规则引擎的企业服务总线中的消息规则路由的正确性验证方法。首先将基于规则的消息路由转换为服务模型六元组,然后再将服务模型六元组转换为NuSMV输入程序,最后通过NuSMV工具实现自动化验证。...
关键词:正确性验证 企业服务总线 消息路由 模型检测 规则引擎 
基于执行模式和扇入分析的横切关注点识别
《华中科技大学学报(自然科学版)》2012年第1期45-48,共4页俞东进 闫大强 
国家自然科学基金资助项目(61002018);浙江省重大科技专项基金资助项目(2008C11099-1)
为提高遗留系统的横切关注点识别效率和精确率,提出一种改进的候选横切关注点识别方法.该方法选取覆盖系统核心功能的挖掘用例,根据横切关注点具有的方法执行模式特征和方法扇入度特征对活动代码进行动态分析,以便发现可供候选的方面....
关键词:软件开发 横切关注点 重复执行模式 扇入分析 识别效率 
检索报告 对象比较 聚类工具 使用帮助 返回顶部