利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

4 条记录 (耗时 0.028 秒)

    MANAGEMENT OF DISTRIBUTED STORAGE
    3.
    发明申请
    MANAGEMENT OF DISTRIBUTED STORAGE 审中-公开
    分销存储管理

    公开(公告)号：US20090112870A1

    公开(公告)日：2009-04-30

    申请号：US11931726

    申请日：2007-10-31

    申请人： Raymond E. Ozzie ,  George P. Moromisato ,  Anthony Dean Andrews ,  William D. Devlin ,  Akash J. Sagar ,  William Michael Zintel ,  Dharma K. Shukla ,  Abolade Gbadegesin

    发明人： Raymond E. Ozzie ,  George P. Moromisato ,  Anthony Dean Andrews ,  William D. Devlin ,  Akash J. Sagar ,  William Michael Zintel ,  Dharma K. Shukla ,  Abolade Gbadegesin

    IPC分类号： G06F17/30

    CPC分类号： G06F16/184

    摘要： Systems and methods of distributed storage are disclosed herein. A request to store data in a client computer is received. A request is sent from the client computer to a storage service to create a core object such that the core object can be created with a member entry to a member feed in the core object. The member feed can be indicative of one or more entities that are permitted to access to the core object. A message is received at the client computer with the core object. A replica of the core object on the client computer is created. The client computer can add the data as a data entry to a data feed in the core object. An updating message is sent to the storage service. The message can include a copy of the replica of the core object including the data entry.

    摘要翻译： 本文公开了分布式存储器的系统和方法。 接收到在客户端计算机中存储数据的请求。 请求从客户端计算机发送到存储服务以创建核心对象，以便可以使用核心对象中的成员进程的成员条目创建核心对象。 成员馈送可以指示允许访问核心对象的一个​​或多个实体。 在客户端计算机上接收到具有核心对象的消息。 创建客户端计算机上的核心对象的副本。 客户端计算机可以将数据作为数据条目添加到核心对象中的数据馈送。 更新消息被发送到存储服务。 消息可以包括核心对象的副本的副本，包括数据条目。

    Error detection in web services systems
    4.
    发明授权
    Error detection in web services systems 有权
    Web服务系统中的错误检测

    公开(公告)号：US07536606B2

    公开(公告)日：2009-05-19

    申请号：US10835838

    申请日：2004-04-30

    申请人： Anthony Dean Andrews ,  Sriram K. Rajamani ,  Jakob Rehob

    发明人： Anthony Dean Andrews ,  Sriram K. Rajamani ,  Jakob Rehob

    IPC分类号： G06F11/00

    CPC分类号： G06F11/0751 ,  G06F11/0709 ,  H04L41/06

    摘要： Methods and systems are provided for automatically generating an accurate model of communications processes between disparate computing systems that may be analyzed in an efficient manner for error detection in web services systems. Business Process Execution Language for Web Services (BPEL) descriptions are automatically generated for the BPEL-based executable processes utilized by each communicating computing system in a given web services system. The BPEL abstract process descriptions for each communicating computing system are translated into a combined process model according to a suitable modeling language. The process model is tested by a model checking software application. Communications errors between the disparate computing systems are detected by automatically testing the combined process model according to a variety of potential communications scenarios.

    摘要翻译： 提供了方法和系统，用于在不同的计算系统之间自动生成精确的通信过程模型，可以以有效的方式对Web服务系统中的错误检测进行分析。 为每个通信计算系统在给定Web服务系统中使用的基于BPEL的可执行流程自动生成Web服务的业务流程执行语言（BPEL）描述。 每个通信计算系统的BPEL抽象过程描述根据合适的建模语言被转换为组合过程模型。 流程模型通过模型检查软件应用程序进行测试。 通过根据各种潜在通信场景自动测试组合过程模型来检测不同计算系统之间的通信错误。