闫大强
- 作品数：7 被引量：3H指数：1
- 供职机构：杭州电子科技大学计算机学院更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金浙江省重点科技计划更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 一种基于NuSMV的服务组合规则路由的正确性验证方法
- 本发明公开了一种基于NuSMV的服务组合规则路由的正确性验证方法。本发明首先对于每一个原子服务，建立表示整个业务流程的组合服务模型六元组。其次为组合服务模型服务六元组定义一个NuSMV验证程序的状态变量，根据组合服务模型...
- 俞东进殷昱煜闫大强刘志清
- 执行模式分析和扇入分析相结合的横切关注点识别方法
- 本发明公开了一种执行模式分析和扇入分析相结合的横切关注点识别方法。现有的方法精确率和执行效率较低。本发明方法首先设置独立的通用计算机，通过外接装置读入待识别的程序代码包；其次选取覆盖程序核心业务功能的用例，收集执行该用例...
- 俞东进殷昱煜闫大强
- 一种基于NuSMV的服务组合规则路由的正确性验证方法
- 本发明公开了一种基于NuSMV的服务组合规则路由的正确性验证方法。本发明首先对于每一个原子服务，建立表示整个业务流程的组合服务模型六元组。其次为组合服务模型服务六元组定义一个NuSMV验证程序的状态变量，根据组合服务模型...
- 俞东进殷昱煜闫大强刘志清
- 文献传递
- 基于执行模式和扇入分析的横切关注点识别
- 2012年
- 为提高遗留系统的横切关注点识别效率和精确率,提出一种改进的候选横切关注点识别方法.该方法选取覆盖系统核心功能的挖掘用例,根据横切关注点具有的方法执行模式特征和方法扇入度特征对活动代码进行动态分析,以便发现可供候选的方面.在识别过程中,特别引入了扇入阈值和横切阈值,对由于低于阈值而不可能成为候选横切关注点的方法进行预过滤,同时通过分析方法外语句对方法执行的影响,排除部分不可织入的候选横切关注点.与传统方法相比,该方法在保证查全率不下降的基础上,可有效提高识别效率和精确率.
- 俞东进闫大强
- 关键词：软件开发横切关注点
- 面向企业服务总线的规则引擎的研究与实现
- 随着企业信息化的发展，传统的软件架构已经不能满足多个应用集成的需求。面向服务架构(Service Oriented Architecture，SOA)思想的提出在一定程度上解决了这个问题。企业服务总线(Enterpris...
- 闫大强
- 关键词：企业服务总线规则引擎消息路由
- 文献传递
- 基于模型检测的服务规则路由正确性验证方法被引量：2
- 2014年
- 基于模型检测技术,提出了一种适用于集成了规则引擎的企业服务总线中的消息规则路由的正确性验证方法。首先将基于规则的消息路由转换为服务模型六元组,然后再将服务模型六元组转换为NuSMV输入程序,最后通过NuSMV工具实现自动化验证。给出了一个贷款审批业务的服务规则。路由的正确性验证实例证明了该方法的可行性。
- 俞东进吴为殷昱煜闫大强刘志清
- 关键词：企业服务总线消息路由规则引擎
- 执行模式分析和扇入分析相结合的横切关注点识别方法
- 本发明公开了一种执行模式分析和扇入分析相结合的横切关注点识别方法。现有的方法精确率和执行效率较低。本发明方法首先设置独立的通用计算机，通过外接装置读入待识别的程序代码包；其次选取覆盖程序核心业务功能的用例，收集执行该用例...
- 俞东进殷昱煜闫大强
- 文献传递
