利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

18 条记录 (耗时 0.03 秒)

    INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION
    1.
    发明申请
    INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION 有权
    使用声明程序定义的合同约定

    公开(公告)号：US20110078509A1

    公开(公告)日：2011-03-31

    申请号：US12567610

    申请日：2009-09-25

    申请人： Kenneth D. Wolf ,  Nicholas Alexander Allen ,  Kirill Gavrylyuk ,  Edmund Samuel Victor Pinto ,  Tao Xie ,  Asad Jawahar

    发明人： Kenneth D. Wolf ,  Nicholas Alexander Allen ,  Kirill Gavrylyuk ,  Edmund Samuel Victor Pinto ,  Tao Xie ,  Asad Jawahar

    IPC分类号： G06F11/07 ,  G06F11/00

    CPC分类号： G06F11/0766 ,  G06F11/0709

    摘要： A declarative program definition. The definition is analyzed to produce an application contract that describes semantics for sending and receiving application messages during the successful execution of operations by the program. In addition, this analysis may also generate local behaviors associated with the local execution of the program. Alternatively or in addition, the analysis may infer secondary contracts regarding the sending and receiving of application messages, even though the full details of the secondary contracts are not present in the declarative program definition. For instance, the secondary contracts might include error contracts or consistency contracts.

    摘要翻译： 声明式程序定义。 分析定义以产生一个应用程序合同，该应用程序合同描述在程序成功执行操作期间发送和接收应用程序消息的语义。 此外，此分析还可能产生与本地程序执行相关的本地行为。 或者或另外，分析可以推断关于应用消息的发送和接收的次级合同，即使次要合同的全部细节不存在于声明性程序定义中。 例如，次级合同可能包括错误合同或一致性合同。

    Inference of contract using declarative program definition
    2.
    发明授权
    Inference of contract using declarative program definition 有权
    使用声明式程序定义推断合同

    公开(公告)号：US08074117B2

    公开(公告)日：2011-12-06

    申请号：US12567610

    申请日：2009-09-25

    申请人： Kenneth D. Wolf ,  Nicholas Alexander Allen ,  Kirill Gavrylyuk ,  Edmund Samuel Victor Pinto ,  Tao Xie ,  Asad Jawahar

    发明人： Kenneth D. Wolf ,  Nicholas Alexander Allen ,  Kirill Gavrylyuk ,  Edmund Samuel Victor Pinto ,  Tao Xie ,  Asad Jawahar

    IPC分类号： G06F11/00

    CPC分类号： G06F11/0766 ,  G06F11/0709

    摘要： A declarative program definition. The definition is analyzed to produce an application contract that describes semantics for sending and receiving application messages during the successful execution of operations by the program. In addition, this analysis may also generate local behaviors associated with the local execution of the program. Alternatively or in addition, the analysis may infer secondary contracts regarding the sending and receiving of application messages, even though the full details of the secondary contracts are not present in the declarative program definition. For instance, the secondary contracts might include error contracts or consistency contracts.

    摘要翻译： 声明式程序定义。 分析定义以产生一个应用程序合同，该应用程序合同描述了在程序成功执行操作期间发送和接收应用程序消息的语义。 此外，此分析还可能产生与本地程序执行相关的本地行为。 或者或另外，分析可以推断关于应用消息的发送和接收的次级合同，即使次要合同的全部细节不存在于声明性程序定义中。 例如，次级合同可能包括错误合同或一致性合同。

    Application model for implementing composite applications
    5.
    发明授权
    Application model for implementing composite applications 有权
    实现复合应用的应用模型

    公开(公告)号：US09128803B2

    公开(公告)日：2015-09-08

    申请号：US12969446

    申请日：2010-12-15

    申请人： Dharma Shukla ,  Aditya Gopal Bhandarkar ,  Akash Jeevan Sagar ,  Asad Jawahar ,  Robert Brian Schmidt

    发明人： Dharma Shukla ,  Aditya Gopal Bhandarkar ,  Akash Jeevan Sagar ,  Asad Jawahar ,  Robert Brian Schmidt

    IPC分类号： G06F9/44

    CPC分类号： G06F8/20 ,  G06F8/35 ,  G06F8/36 ,  G06F8/70 ,  G06F8/71

    摘要： Embodiments are directed to providing an application model for implementing composite applications and to providing a declarative programming model and distributed runtime for creating and executing composite applications. In an embodiment, a computer system instantiates an application model. The application model allows users to compose composite applications. The composite applications are configured to run on both distributed computing systems and local computing systems. The computer system receives user input at the instantiated application model. The user input indicates which composite application components are to be used in conjunction with each other to form the composite application. The computer system also provides the composite application on a distributed computing system and/or a local computing system.

    摘要翻译： 实施例旨在提供用于实现复合应用的应用模型，并提供用于创建和执行复合应用的声明式编程模型和分布式运行时。 在一个实施例中，计算机系统实例化应用模型。 应用程序模型允许用户组合复合应用程序。 组合应用程序被配置为在分布式计算系统和本地计算系统上运行。 计算机系统在实例化的应用模型中接收用户输入。 用户输入指示哪些复合应用程序组件将彼此结合使用以形成复合应用程序。 计算机系统还在分布式计算系统和/或本地计算系统上提供组合应用。

    Hosting non-messaging workflows in a messaging host
    9.
    发明授权
    Hosting non-messaging workflows in a messaging host 有权
    在消息主机中托管非消息传递工作流

    公开(公告)号：US08522256B2

    公开(公告)日：2013-08-27

    申请号：US12902157

    申请日：2010-10-12

    申请人： Asad Jawahar ,  Suwat Chitphakdibodin

    发明人： Asad Jawahar ,  Suwat Chitphakdibodin

    IPC分类号： G06F9/44

    CPC分类号： G06F9/541 ,  G06F8/20 ,  G06F9/546

    摘要： A workflow hosting system is described herein that allows non-messaging workflows to be hosted by a message-based service host. The system provides a host implementation, which can be used to host non-messaging workflows, or workflows that either do not begin with a message activity or do not use messaging activities at all. When the host receives a message for a workflow service, if it is not already running (or persisted), the system creates a new workflow service instance. If a workflow does not begin with a message activity, it cannot be started by sending a message because there is no activity to receive the message. To host a non-messaging workflow, the system provides a translation layer that sits between the communication layer and the workflow with methods that a developer can override to correctly activate the workflow.

    摘要翻译： 本文描述了工作流主机系统，其允许非消息传送工作流由基于消息的服务主机托管。 该系统提供了一个主机实现，可以用于托管非消息传递工作流，或者不是从消息活动开始的工作流，或者根本不使用消息传递活动。 当主机接收到工作流服务的消息时，如果它尚未运行（或持久化），系统将创建一个新的工作流服务实例。 如果工作流没有从消息活动开始，则不能通过发送消息来启动，因为没有活动可以接收消息。 要托管非消息传递工作流程，系统提供了一个位于通信层和工作流之间的转换层，开发人员可以通过这些方法覆盖以正确激活工作流程。

    HOSTING NON-MESSAGING WORKFLOWS IN A MESSAGING HOST
    10.
    发明申请
    HOSTING NON-MESSAGING WORKFLOWS IN A MESSAGING HOST 有权
    在消息传递主机中托管非消息性工作流

    公开(公告)号：US20120089988A1

    公开(公告)日：2012-04-12

    申请号：US12902157

    申请日：2010-10-12

    申请人： Asad Jawahar ,  Suwat Chitphakdibodin

    发明人： Asad Jawahar ,  Suwat Chitphakdibodin

    IPC分类号： G06F9/44

    CPC分类号： G06F9/541 ,  G06F8/20 ,  G06F9/546

    摘要： A workflow hosting system is described herein that allows non-messaging workflows to be hosted by a message-based service host. The system provides a host implementation, which can be used to host non-messaging workflows, or workflows that either do not begin with a message activity or do not use messaging activities at all. When the host receives a message for a workflow service, if it is not already running (or persisted), the system creates a new workflow service instance. If a workflow does not begin with a message activity, it cannot be started by sending a message because there is no activity to receive the message. To host a non-messaging workflow, the system provides a translation layer that sits between the communication layer and the workflow with methods that a developer can override to correctly activate the workflow.

    摘要翻译： 本文描述了工作流主机系统，其允许非消息传送工作流由基于消息的服务主机托管。 该系统提供了一个主机实现，可以用于托管非消息传递工作流，或者不是从消息活动开始的工作流，或者根本不使用消息传递活动。 当主机接收到工作流服务的消息时，如果它尚未运行（或持久化），系统将创建一个新的工作流服务实例。 如果工作流没有从消息活动开始，则不能通过发送消息来启动，因为没有活动可以接收消息。 要托管非消息传递工作流程，系统提供了一个位于通信层和工作流之间的转换层，开发人员可以通过这些方法覆盖以正确激活工作流程。