会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 16. 发明授权
    • Data flow analysis of transactional processes
    • 事务过程的数据流分析
    • US07210135B2
    • 2007-04-24
    • US10648461
    • 2003-08-26
    • Donald James McCradyPaul F. RingsethBimal Mehta
    • Donald James McCradyPaul F. RingsethBimal Mehta
    • G06F9/45
    • G06F8/433
    • A XLANG/s compilation method is provided that uses data flow analysis of a program's flow graph to determine lifetimes of a data object. A flowgraph is created according to abstract computer instructions. A depth-first order is assigned to basic blocks and a dominance relationship between the basic blocks is determined. A determination is made as to whether any loops are present within the flowgraph and, if so, the loops are identified. A creation point, destruction point and lock point for the data object is determined. Instructions are inserted into the computer code to create the at least one data object at the creation point, to destroy the data object at the destruction point and to lock the data object at the lock point.
    • 提供了一种XLANG / s编译方法,它使用程序流程图的数据流分析来确定数据对象的生命周期。 根据抽象的计算机指令创建流程图。 将深度优先顺序分配给基本块,并且确定基本块之间的优势关系。 确定流程图中是否存在任何循环,如果是,则确定循环。 确定数据对象的创建点,销毁点和锁定点。 将指令插入到计算机代码中,以在创建点创建至少一个数据对象,以在销毁点销毁数据对象,并将数据对象锁定在锁定点。
    • 18. 发明授权
    • Efficient processing of a convoy workflow scenario in a message driven process
    • 在消息驱动过程中高效地处理车队工作流场景
    • US08606843B2
    • 2013-12-10
    • US12054569
    • 2008-03-25
    • Bimal MehtaJohannes KleinLee GraberPaul MaybeeSriram BalasubramanianSanjib SahaSatish R. ThattePaul F. Ringseth
    • Bimal MehtaJohannes KleinLee GraberPaul MaybeeSriram BalasubramanianSanjib SahaSatish R. ThattePaul F. Ringseth
    • G06F15/16G06F3/00
    • G06F9/54G06F2209/542
    • 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.
    • XLANG / s编译器在编译期间检测车队场景,并生成运行时指令,将传入的消息与业务流程实例正确关联。 存在于事件驱动过程中的车队场景由在提供给后续接收操作的接收操作期间初始化的相关集定义。 编译器通过分析XLANG / s程序的控制和数据流来检测这些车队场景。 三个车队模式有区别:(1)活动车队,(2)统一的顺序车队,(3)不均匀的顺序车队。 XLANG / s允许对车队场景的声明性描述,而不需要了解支持其正确执行的低级细节。 通过静态分析书面工作流应用程序来演绎应用程序使用的车队场景的性质和类型来处理方便情景。 在编译时提取信息以支持运行时基础设施。 运行时基础架构与底层的相关和订阅评估框架紧密集成。