Generation of a set of pre-filters from a set of event subscriptions to more efficiently select events of interest
    1.
    发明授权
    Generation of a set of pre-filters from a set of event subscriptions to more efficiently select events of interest 有权
    从一组事件订阅生成一组预过滤器,以更有效地选择感兴趣的事件

    公开(公告)号:US08521689B2

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

    申请号:US11737928

    申请日:2007-04-20

    IPC分类号: G06F7/00 G06F17/00

    CPC分类号: G06F9/542

    摘要: A method, system and computer program product for achieving a balance between pre-filter efficiency and pre-filter throughput. Event subscriptions are obtained for a given event consumer. The event subscriptions define the events to be routed to this event consumer. Pre-filters of varying complexity and filtering power are constructed based on these event subscriptions. A balance between pre-filter efficiency and pre-filter throughput may be achieved by selecting the best pre-filter out of these constructed pre-filters to filter events to its associated event consumer. The best pre-filter is selected by comparing a complexity threshold (e.g., a limit for the number of atomic Boolean expressions in a pre-filter) with the actual complexity (e.g., the actual number of atomic Boolean expressions) for each constructed pre-filter and selecting the most complex pre-filter without exceeding the threshold.

    摘要翻译: 一种方法,系统和计算机程序产品,用于实现预过滤器效率和预过滤器吞吐量之间的平衡。 事件订阅是为给定的事件消费者获得的。 事件订阅定义要路由到此事件消费者的事件。 基于这些事件订阅构建不同复杂度和过滤能力的预过滤器。 可以通过从这些构造的预滤波器中选择最佳的预滤波器来过滤事件到其相关联的事件消费者来实现预滤波器效率和预滤波器吞吐量之间的平衡。 通过将复杂度阈值(例如,预过滤器中的原子布尔表达式的数量限制)与实际复杂度(例如,实际的原子布尔表达式数)进行比较来选择最佳预过滤器, 过滤并选择最复杂的预过滤器,而不超过阈值。

    GENERATION OF A SET OF PRE-FILTERS FROM A SET OF EVENT SUBSCRIPTIONS TO MORE EFFICIENTLY SELECT EVENTS OF INTEREST
    2.
    发明申请
    GENERATION OF A SET OF PRE-FILTERS FROM A SET OF EVENT SUBSCRIPTIONS TO MORE EFFICIENTLY SELECT EVENTS OF INTEREST 有权
    一组预先筛选器从一组事件订阅到更有效的选择活动的生成

    公开(公告)号:US20080263093A1

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

    申请号:US11737928

    申请日:2007-04-20

    IPC分类号: G06F17/30

    CPC分类号: G06F9/542

    摘要: A method, system and computer program product for achieving a balance between pre-filter efficiency and pre-filter throughput. Event subscriptions are obtained for a given event consumer. The event subscriptions define the events to be routed to this event consumer. Pre-filters of varying complexity and filtering power are constructed based on these event subscriptions. A balance between pre-filter efficiency and pre-filter throughput may be achieved by selecting the best pre-filter out of these constructed pre-filters to filter events to its associated event consumer. The best pre-filter is selected by comparing a complexity threshold (e.g., a limit for the number of atomic Boolean expressions in a pre-filter) with the actual complexity (e.g., the actual number of atomic Boolean expressions) for each constructed pre-filter and selecting the most complex pre-filter without exceeding the threshold.

    摘要翻译: 一种方法,系统和计算机程序产品,用于实现预过滤器效率和预过滤器吞吐量之间的平衡。 事件订阅是为给定的事件消费者获得的。 事件订阅定义要路由到此事件消费者的事件。 基于这些事件订阅构建不同复杂度和过滤能力的预过滤器。 可以通过从这些构造的预滤波器中选择最佳的预滤波器来过滤事件到其相关联的事件消费者来实现预滤波器效率和预滤波器吞吐量之间的平衡。 通过将复杂度阈值(例如,预过滤器中的原子布尔表达式的数量限制)与实际复杂度(例如,实际的原子布尔表达式数)进行比较来选择最佳预过滤器, 过滤并选择最复杂的预过滤器,而不超过阈值。

    Modeling homogeneous parallelism
    3.
    发明授权
    Modeling homogeneous parallelism 有权
    建模均匀平行度

    公开(公告)号:US08036860B2

    公开(公告)日:2011-10-11

    申请号:US11781363

    申请日:2007-07-23

    IPC分类号: G06F17/10

    CPC分类号: G06Q10/06

    摘要: A model of a process is created using novel “fan-out” and “fan-in” symbols. A fan-out symbol represents a point in the process flow where a variable number of homogeneous parallel outgoing threads are being split out from a single incoming thread. The fan-in symbol represents a point in the process flow where a variable number of parallel incoming threads with homogeneous output are combined into one or more outgoing threads.

    摘要翻译: 使用新颖的“扇出”和“扇入”符号创建过程的模型。 扇出符号表示处理流程中的一个点,其中可变数量的均匀并行输出线程正从单个传入线程中分离出来。 扇入符号表示过程流中的一个点,其中具有均匀输出的可变数目的并行传入线程被组合成一个或多个输出线程。

    TESTING PROTOCOL COMPATABILITY
    4.
    发明申请
    TESTING PROTOCOL COMPATABILITY 审中-公开
    测试协议兼容性

    公开(公告)号:US20080240153A1

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

    申请号:US11695151

    申请日:2007-04-02

    申请人: Joachim H. Frank

    发明人: Joachim H. Frank

    IPC分类号: H04J3/16

    CPC分类号: G06Q10/06 H04L69/02

    摘要: Embodiments of the present invention address deficiencies of the art in respect to conversation protocol validation and provide a method, system and computer program product for testing protocol compatibility between trading partners in a B2B conversation. In one embodiment of the invention, a method for testing protocol compatibility between roles in a B2B conversation can be provided. The method can include selecting at least two roles from amongst global process models, constructing local protocols for each of the selected roles, generating a conversation protocol from the constructed local protocols, and detecting dead-end states in the generated conversation protocol to identify protocol incompatibility while identifying protocol compatibility in the absence of dead-end states in the generated conversation protocol.

    摘要翻译: 本发明的实施例解决了现有技术在谈话协议验证方面的缺陷,并且提供了用于测试B2B会话中的贸易伙伴之间的协议兼容性的方法,系统和计算机程序产品。 在本发明的一个实施例中,可以提供用于测试B2B会话中的角色之间的协议兼容性的方法。 该方法可以包括从全局过程模型中选择至少两个角色,为每个选定角色构建本地协议,从所构建的本地协议生成会话协议,以及检测所生成的会话协议中的死端状态以识别协议不兼容性 同时在生成的对话协议中在没有死端状态的情况下识别协议兼容性。

    Compiler for a declarative event-driven programming model
    5.
    发明授权
    Compiler for a declarative event-driven programming model 失效
    用于声明性事件驱动编程模型的编译器

    公开(公告)号:US08397216B2

    公开(公告)日:2013-03-12

    申请号:US12040461

    申请日:2008-02-29

    IPC分类号: G06F9/44

    摘要: A compiler generates code providing an execution sequence, from a declarative event-driven model, for execution by a computer. To assist in debugging the declarative event-driven model, the compiler also generates cross-references that relate steps in the generated code to elements of the declarative source code. The cross-references may be used as input to a debugger, along with the declarative source and the generated code, to assist a user who is stepping through the generated code (for example) in understanding which portion of the declarative source gave rise to the current step in the generated execution sequence.

    摘要翻译: 编译器从声明性事件驱动模型生成提供执行序列的代码,供计算机执行。 为了协助调试声明性事件驱动模型,编译器还生成将生成的代码中的步骤与声明性源代码的元素相关联的交叉引用。 交叉引用可以被用作调试器的输入以及声明源和生成的代码,以帮助正在遍历生成的代码的用户(例如)理解声明源的哪个部分产生了 生成的执行顺序的当前步骤。

    Testing protocol compatability
    6.
    发明授权

    公开(公告)号:US10891564B2

    公开(公告)日:2021-01-12

    申请号:US11695151

    申请日:2007-04-02

    申请人: Joachim H. Frank

    发明人: Joachim H. Frank

    IPC分类号: G06F9/54 G06Q10/06 H04L29/06

    摘要: Embodiments of the present invention address deficiencies of the art in respect to conversation protocol validation and provide a method, system and computer program product for testing protocol compatibility between trading partners in a B2B conversation. In one embodiment of the invention, a method for testing protocol compatibility between roles in a B2B conversation can be provided. The method can include selecting at least two roles from amongst global process models, constructing local protocols for each of the selected roles, generating a conversation protocol from the constructed local protocols, and detecting dead-end states in the generated conversation protocol to identify protocol incompatibility while identifying protocol compatibility in the absence of dead-end states in the generated conversation protocol.

    Virtual machine and programming language for event processing

    公开(公告)号:US08627299B2

    公开(公告)日:2014-01-07

    申请号:US12040485

    申请日:2008-02-29

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F9/542

    摘要: A virtual machine supports execution of compiler-generated code and provides an execution environment for code that may correspond to any of several different event-driven or message-driven programming models (such as state machines, rules for complex event processing and event correlation, monitoring contexts, processes, and mediations). The programming models may be used in business monitoring and/or business integration environments. A programming language is defined for execution using the virtual machine, which contains a relatively small number of instructions and which is preferably generated by a compiler from a higher-level, event-driven or message-driven model.

    Virtual Machine and Programming Language for Event Processing
    8.
    发明申请
    Virtual Machine and Programming Language for Event Processing 失效
    用于事件处理的虚拟机和编程语言

    公开(公告)号:US20090222793A1

    公开(公告)日:2009-09-03

    申请号:US12040485

    申请日:2008-02-29

    IPC分类号: G06F9/30 G06F9/455 G06F9/44

    CPC分类号: G06F9/542

    摘要: A virtual machine supports execution of compiler-generated code and provides an execution environment for code that may correspond to any of several different event-driven or message-driven programming models (such as state machines, rules for complex event processing and event correlation, monitoring contexts, processes, and mediations). The programming models may be used in business monitoring and/or business integration environments. A programming language is defined for execution using the virtual machine, which contains a relatively small number of instructions and which is preferably generated by a compiler from a higher-level, event-driven or message-driven model.

    摘要翻译: 虚拟机支持执行编译器生成的代码,并为可能对应于几个不同的事件驱动或消息驱动的编程模型(例如状态机,复杂事件处理和事件关联的规则,监视)的代码提供执行环境 上下文,过程和中介)。 编程模型可用于业务监控和/或业务集成环境。 定义了使用虚拟机执行的编程语言,该虚拟机包含相对较少数量的指令,并且优选地由编译器从较高级别的事件驱动或消息驱动模型生成。

    Compiler for a Declarative Event-Driven Programming Model
    9.
    发明申请
    Compiler for a Declarative Event-Driven Programming Model 失效
    用于声明式事件驱动编程模型的编译器

    公开(公告)号:US20090222789A1

    公开(公告)日:2009-09-03

    申请号:US12040461

    申请日:2008-02-29

    IPC分类号: G06F9/45

    摘要: A compiler generates code providing an execution sequence, from a declarative event-driven model, for execution by a computer. To assist in debugging the declarative event-driven model, the compiler also generates cross-references that relate steps in the generated code to elements of the declarative source code. The cross-references may be used as input to a debugger, along with the declarative source and the generated code, to assist a user who is stepping through the generated code (for example) in understanding which portion of the declarative source gave rise to the current step in the generated execution sequence.

    摘要翻译: 编译器从声明性事件驱动模型生成提供执行序列的代码,供计算机执行。 为了协助调试声明性事件驱动模型,编译器还生成将生成的代码中的步骤与声明性源代码的元素相关联的交叉引用。 交叉引用可以被用作调试器的输入以及声明源和生成的代码,以帮助正在遍历生成的代码的用户(例如)理解声明源的哪个部分产生了 生成的执行顺序的当前步骤。

    MODELING INTERRUPTS IN A BUSINESS PROCESS
    10.
    发明申请
    MODELING INTERRUPTS IN A BUSINESS PROCESS 审中-公开
    在业务流程中建模中断

    公开(公告)号:US20080163224A1

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

    申请号:US11618182

    申请日:2006-12-29

    IPC分类号: G06F9/46

    CPC分类号: G06F9/4812

    摘要: Embodiments of the present invention address deficiencies of the art in respect to process modeling of a process flow interruption and provide a novel and non-obvious method, system and computer program product for modeling interrupts in a business process. In one embodiment of the invention, a method for modeling interrupts in a business process can be provided. The method can include executing a task in a business process flow, detecting an interrupt that occurs while the task is executing, determining timing requirements for the interrupt, which may either call for an immediate response or for a response after the task has finished execution and launching an interrupt flow for the interrupt which may either displace, or complement, the task's regular output.

    摘要翻译: 本发明的实施例解决了与工艺流程中断的过程建模相关的本领域的缺陷,并且提供了用于对业务过程中的中断进行建模的新颖且非显而易见的方法,系统和计算机程序产品。 在本发明的一个实施例中,可以提供用于对业务过程中的中断进行建模的方法。 该方法可以包括在业务流程中执行任务,检测在执行任务时发生的中断,确定中断的时序要求,该中断可以在任务完成执行之后立即响应或响应, 启动中断的中断流程,该中断流程可能会替代或补充任务的常规输出。