您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. LoanBroker教程

  2. 1.Overview《EnterpristIntegrationPatterns》这本书中,ComposedMessagingTIBCO.html范例之后例举了借贷Broker(代理)的范例。书中说:“这是一个简单的银行服务调用请求系统。客户向借贷broker接口提交调用请求后,借贷broker先获得该客户的信用度,再将此调用请求转发给多个银行。得到各银行的返回结果后,借贷broker从中选择出最佳的,返回给客户。”图1-1图中:1.网络客户端向借贷Broker系统提出一个请求贷款利率的申请。2
  3. 所属分类:其它

    • 发布日期:2021-02-03
    • 文件大小:177152
    • 提供者:weixin_38666208
  1. SOA标准之----JBI架构思想

  2. SOA在Java领域有两套标准:一个是SUN推出的JBI(没有得到BEA和IBM的承认),另外一个是:IBM和BEA等公司推出的SCA和SDO标准。JBI之关注Java组件只处理Java组件的集成。SCA实现了业务组件和传输协议的分离,可以处理各种平台组件的集成。SDO可以的自由读取各种不同数据源的数据。另外,BPEL本质上是一种集成WebService服务的语言,也可以算作为SOA的一部分。在此,详细介绍JBI的架构思想。一、认识JBIJBI(JavaBusinessIntegration)中
  3. 所属分类:其它

    • 发布日期:2021-02-03
    • 文件大小:154624
    • 提供者:weixin_38693524
  1. SOA标准之----SCA架构思想

  2. SOA在Java领域有两套标准:一个是SUN推出的JBI(没有得到BEA和IBM的承认),另外一个是:IBM和BEA等公司推出的SCA和SDO标准。JBI之关注Java组件只处理Java组件的集成。SCA实现了业务组件和传输协议的分离,可以处理各种平台组件的集成。SDO可以的自由读取各种不同数据源的数据。另外,BPEL本质上是一种集成WebService服务的语言,也可以算作为SOA的一部分。在此,详细介绍SCA的架构思想。一、认识SCASCA(ServiceComponentArchitect
  3. 所属分类:其它

    • 发布日期:2021-02-03
    • 文件大小:169984
    • 提供者:weixin_38516863
  1. 基于Alloy的服务组合验证

  2. 服务组合是服务计算的核心问题,而服务组合的正确性与可算性则是服务正确执行的前提保证。首先提出一种基于Alloy的服务组合验证方法,采用有限的状态机建模WS-BPEL业务流程的状态变迁,利用Alloy语言对待验证的属性进行描述,通过Alloy模型完成有限状态机的形式化,最后使用Alloy Analyzer分析组合服务是否满足验证属性要求。实验研究表明,所提出的基于Alloy的服务组合验证方法具有较好的可行性。
  3. 所属分类:其它

    • 发布日期:2021-01-15
    • 文件大小:754688
    • 提供者:weixin_38745434
  1. 一种Web服务特征交互自动检测方法

  2. 模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BPEL活动执行的形式化模型,给出活动执行语义,进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法,这些七元组包含了智能体执行过程中有关状态变化的有效信息。实验表明,提出的算法可以有效验证Web服务中的特征交互问
  3. 所属分类:其它

    • 发布日期:2021-03-30
    • 文件大小:393216
    • 提供者:weixin_38731239
« 1 2 ... 18 19 20 21 22 23»