刘志清

作品数：2被引量：2H指数：1
导出分析报告
供职机构：杭州电子科技大学更多>>
发文主题：路由企业服务总线OWL-SNUSMV服务总线更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《电子科技大学学报》《计算机时代》更多>>
所获基金：浙江省自然科学基金国家自然科学基金浙江省重点科技计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检测的服务规则路由正确性验证方法被引量：2
《电子科技大学学报》2014年第1期107-112,共6页俞东进 吴为 殷昱煜 闫大强 刘志清 
国家自然科学基金(61100043);浙江省自然科学基金(LY12F02003);浙江省重大科技计划(2008C11099-1);浙江省网络系统及信息安全重点实验室基金
基于模型检测技术,提出了一种适用于集成了规则引擎的企业服务总线中的消息规则路由的正确性验证方法。首先将基于规则的消息路由转换为服务模型六元组,然后再将服务模型六元组转换为NuSMV输入程序,最后通过NuSMV工具实现自动化验证。...
关键词：正确性验证 企业服务总线 消息路由 模型检测 规则引擎 
.NET应用程序与J2EE应用程序的集成
《计算机时代》2013年第5期37-38,40,共3页刘志清 杨朔 陈进原 
分析了企业中大量现有的.NET应用程序与J2EE应用程序集成的关键问题,阐述了目前应用WebService的集成方案所存在的缺点,在此基础上提出了基于ESB的.NET应用程序与J2EE应用程序集成方案。该集成方案可以保证消息的可靠传递,提供灵活的消...
关键词：NET J2EE 系统集成 WEBSERVICE ESB 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部