刘志清
- 作品数：8 被引量：2H指数：1
- 供职机构：杭州电子科技大学更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金浙江省重点科技计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 大粒度Web服务相容性研究及其在企业服务总线中的应用
- 近年来,面向服务架构(SOA)已成为系统集成的主要解决方案,SOA的提出在一定程度上解决了多个应用集成的问题。SOA架构的基础设施是企业服务总线(ESB),随着企业业务复杂度的增加以及企业信息系统功能的不断提升,企业服务...
- 刘志清
- 关键词：相容性企业服务总线
- 文献传递
- 一种基于NuSMV的服务组合规则路由的正确性验证方法
- 本发明公开了一种基于NuSMV的服务组合规则路由的正确性验证方法。本发明首先对于每一个原子服务，建立表示整个业务流程的组合服务模型六元组。其次为组合服务模型服务六元组定义一个NuSMV验证程序的状态变量，根据组合服务模型...
- 俞东进殷昱煜闫大强刘志清
- 一种OWL-S复杂进程的Petri网自动生成方法
- 本发明公开了一种OWL‑S复杂进程的Petri网自动生成方法。本方明提出的方法采用以输入、输出为核心的数据流为中心的策略，得到各原子进程的输入、输出关系，将这种数据流关系转换为Petri网中的库所/变迁关系，并最终得到复...
- 俞东进刘志清杨威
- 文献传递
- 一种OWL-S复杂进程的Petri网自动生成方法
- 本发明公开了一种OWL-S复杂进程的Petri网自动生成方法。本方明提出的方法采用以输入、输出为核心的数据流为中心的策略，得到各原子进程的输入、输出关系，将这种数据流关系转换为Petri网中的库所/变迁关系，并最终得到复...
- 俞东进刘志清杨威
- 文献传递
- 一种基于NuSMV的服务组合规则路由的正确性验证方法
- 本发明公开了一种基于NuSMV的服务组合规则路由的正确性验证方法。本发明首先对于每一个原子服务，建立表示整个业务流程的组合服务模型六元组。其次为组合服务模型服务六元组定义一个NuSMV验证程序的状态变量，根据组合服务模型...
- 俞东进殷昱煜闫大强刘志清
- 文献传递
- .NET应用程序与J2EE应用程序的集成
- 2013年
- 分析了企业中大量现有的.NET应用程序与J2EE应用程序集成的关键问题,阐述了目前应用WebService的集成方案所存在的缺点,在此基础上提出了基于ESB的.NET应用程序与J2EE应用程序集成方案。该集成方案可以保证消息的可靠传递,提供灵活的消息路由,增强服务的可管理性,并且提供协议的转换功能。
- 刘志清杨朔陈进原
- 关键词：NETJ2EEWEBSERVICEESB
- 基于模型检测的服务规则路由正确性验证方法被引量：2
- 2014年
- 基于模型检测技术,提出了一种适用于集成了规则引擎的企业服务总线中的消息规则路由的正确性验证方法。首先将基于规则的消息路由转换为服务模型六元组,然后再将服务模型六元组转换为NuSMV输入程序,最后通过NuSMV工具实现自动化验证。给出了一个贷款审批业务的服务规则。路由的正确性验证实例证明了该方法的可行性。
- 俞东进吴为殷昱煜闫大强刘志清
- 关键词：企业服务总线消息路由规则引擎
- 大粒度Web服务的相容性研究及其在企业服务总线中的应用
- 近年来，面向服务架构（SOA）已成为系统集成的主要解决方案，SOA的提出在一定程度上解决了多个应用集成的问题。SOA架构的基础设施是企业服务总线（ESB），随着企业业务复杂度的增加以及企业信息系统功能的不断提升，企业服务...
- 刘志清
- 关键词：相容性企业服务总线OWL-S
- 文献传递
