Long running transaction integration with selective dehydration and selective compensation
    21.
    发明授权
    Long running transaction integration with selective dehydration and selective compensation 失效
    长时间运行的交易整合与选择性脱水和选择性补偿

    公开(公告)号:US07774219B1

    公开(公告)日:2010-08-10

    申请号:US09620771

    申请日:2000-07-21

    CPC classification number: G06F9/466 G06Q10/06 G06Q10/0633

    Abstract: A method for executing a schedule in a workflow application is provided. The method includes selectively storing a schedule state to a storage medium based on a latency attribute associated with the schedule. Also provided is a method of executing a workflow application comprising long running transactions. This method includes selectively storing a schedule state to a storage medium based on a latency attribute associated with the schedule, and selectively compensating certain actions within the schedule according to a compensation parameter associated with an action, based on failure or abortion of another action within the schedule. In addition, there is provided a method of executing a schedule comprising selectively compensating certain actions or transactions within the schedule according to a compensation parameter associated with an action or transaction, based on failure or abortion of another action or transaction within the schedule.

    Abstract translation: 提供了一种用于在工作流应用程序中执行日程表的方法。 该方法包括基于与该调度相关联的等待时间属性来有选择地将调度状态存储到存储介质。 还提供了执行包括长时间运行的事务的工作流应用的方法。 该方法包括基于与该调度相关联的等待时间属性来选择性地将调度状态存储到存储介质中,并且基于与动作相关联的补偿参数,基于在该调度内的另一动作的失败或堕胎来选择性地补偿该调度内的某些动作 时间表。 此外,提供了一种执行时间表的方法,包括基于在时间表内的另一动作或交易的失败或堕胎,根据与动作或交易相关联的补偿参数选择性地补偿调度内的某些动作或交易。

    EFFICIENT PROCESSING OF A CONVOY WORKFLOW SCENARIO IN A MESSAGE DRIVEN PROCESS
    22.
    发明申请
    EFFICIENT PROCESSING OF A CONVOY WORKFLOW SCENARIO IN A MESSAGE DRIVEN PROCESS 失效
    在消息传播过程中有效的处理工作流程场景

    公开(公告)号:US20080167925A1

    公开(公告)日:2008-07-10

    申请号:US12054569

    申请日:2008-03-25

    CPC classification number: G06F9/54 G06F2209/542

    Abstract: An XLANG/s compiler detects convoy scenarios during compilation and generates runtime directives to correctly correlate incoming messages with business process instances. A convoy scenario, present in event driven processes, is defined by a correlation set initialized during a receive operation which is provided to a subsequent receive operation. The compiler detects those convoy scenarios by analyzing the control and dataflow of a XLANG/s program. Three convoy patterns are distinguished: (1) activation convoys, (2) uniform sequential convoys, and (3) non-uniform sequential convoys. XLANG/s allows declarative descriptions of convoy scenarios without requiring an understanding of the low-level details supporting their correct execution. Convoy scenarios are processed by statically analyzing a written workflow application to deduce the nature and type of convoy scenarios used by the application. Information is extracted at compile time to support the runtime infrastructure. The runtime infrastructure is tightly integrated with the underlying correlation and subscription evaluation framework.

    Abstract translation: XLANG / s编译器在编译期间检测车队场景,并生成运行时指令,将传入的消息与业务流程实例正确关联。 存在于事件驱动过程中的车队场景由在提供给后续接收操作的接收操作期间初始化的相关集定义。 编译器通过分析XLANG / s程序的控制和数据流来检测这些车队场景。 三个车队模式有区别:(1)活动车队,(2)统一的顺序车队,(3)不均匀的顺序车队。 XLANG / s允许对车队场景的声明性描述,而不需要了解支持其正确执行的低级细节。 通过静态分析书面工作流应用程序来演绎应用程序使用的车队场景的性质和类型来处理方便情景。 在编译时提取信息以支持运行时基础设施。 运行时基础架构与底层的相关和订阅评估框架紧密集成。

    Declarative state space reduction in a transactional messaging language
    23.
    发明授权
    Declarative state space reduction in a transactional messaging language 有权
    事务性消息传递语言中的声明状态空间减少

    公开(公告)号:US07343589B2

    公开(公告)日:2008-03-11

    申请号:US10463940

    申请日:2003-06-18

    CPC classification number: G06F8/43

    Abstract: A XLANG/s compiler recognizes a statement in XLANG/s code to make an assumption as to the success or failure of a specified transaction. The assignment states of variables are tracked and changes to such states are recorded. While processing XLANG/s code, the compiler determines whether the assignment state of a particular correlation, operation or the like is correct for the transaction being performed. If not, the compiler may generate an error message. Moreover, by using declarative assumptions such as if(succeeded(T)) or if(!succeeded(T)), definite-assignment analysis of shared state variables may cross transactional boundaries.

    Abstract translation: XLANG / s编译器可以识别XLANG / s代码中的一条语句来作出关于指定事务的成功或失败的假设。 跟踪变量的赋值状态,并记录对这些状态的更改。 在处理XLANG / s代码时,编译器确定特定关联,操作等的分配状态是否正在执行的事务。 否则,编译器可能会生成错误消息。 此外,通过使用诸如if(succeeded(T))或if(!succeeded(T))这样的声明性假设,共享状态变量的确定赋值分析可以跨越事务边界。

    Data property promotion system and method
    25.
    发明申请
    Data property promotion system and method 有权
    数据属性推广系统和方法

    公开(公告)号:US20050138553A1

    公开(公告)日:2005-06-23

    申请号:US10739714

    申请日:2003-12-18

    CPC classification number: G06Q10/10

    Abstract: A method for promoting properties for processing a message in a business automation system includes the steps of receiving a message which has a plurality of parts where each part has associated properties; identifying the associated properties to be promoted; extracting the information of the promoted property; storing the information of the promoted property in a memory; and processing the message by accessing the information of the promoted property from the memory instead of directly from the message. The method may further include correlating a received message with an earlier processed message by using a correlation method utilizing a strong naming convention to generate a correlation identifier.

    Abstract translation: 一种用于促进在商业自动化系统中处理消息的属性的方法包括以下步骤:接收具有多个部分的消息,其中每个部分具有相关联的属性; 识别要推广的相关属性; 提取晋升财产的资料; 将促销属性的信息存储在存储器中; 并且通过从存储器而不是直接从消息访问提升的属性的信息来处理该消息。 该方法还可以包括通过使用强命名约定的相关方法来将接收到的消息与较早处理的消息相关联,以生成相关标识符。

    Processing convoy workflow scenarios
    26.
    发明申请
    Processing convoy workflow scenarios 失效
    处理车队工作流场景

    公开(公告)号:US20050015776A1

    公开(公告)日:2005-01-20

    申请号:US10452961

    申请日:2003-06-02

    CPC classification number: G06F9/54 G06F2209/542

    Abstract: An XLANG/s compiler detects convoy scenarios during compilation and generates runtime directives to correctly correlate incoming messages with business process instances. A convoy scenario, present in event driven processes, is defined by a correlation set initialized during a receive operation which is provided to a subsequent receive operation. The compiler detects those convoy scenarios by analyzing the control and dataflow of a XLANG/s program. Three convoy patterns are distinguished: (1) activation convoys, (2) uniform sequential convoys, and (3) non-uniform sequential convoys. XLANG/s allows declarative descriptions of convoy scenarios without requiring an understanding of the low-level details supporting their correct execution. Convoy scenarios are processed by statically analyzing a written workflow application to deduce the nature and type of convoy scenarios used by the application. Information is extracted at compile time to support the runtime infrastructure. The runtime infrastructure is tightly integrated with the underlying correlation and subscription evaluation framework.

    Abstract translation: XLANG / s编译器在编译期间检测车队场景,并生成运行时指令,将传入的消息与业务流程实例正确关联。 存在于事件驱动过程中的车队场景由在提供给后续接收操作的接收操作期间初始化的相关集定义。 编译器通过分析XLANG / s程序的控制和数据流来检测这些车队场景。 三个车队模式有区别:(1)活动车队,(2)统一的顺序车队,(3)不均匀的顺序车队。 XLANG / s允许对车队场景的声明性描述,而不需要了解支持其正确执行的低级细节。 通过静态分析书面工作流应用程序来演绎应用程序使用的车队场景的性质和类型来处理方便情景。 在编译时提取信息以支持运行时基础设施。 运行时基础架构与底层的相关和订阅评估框架紧密集成。

Patent Agency Ranking