会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Detection and correction of race conditions in workflows
    • 检测和纠正工作流程中的竞争条件
    • US09280441B2
    • 2016-03-08
    • US13909354
    • 2013-06-04
    • International Business Machines Corporation
    • Varun BhagwanDaniel F. GruhlJohn T. E. TimmApril L. Webster
    • G06F9/45G06F9/46G06F11/36
    • G06F11/36G06F8/40G06F8/433G06F11/3632
    • A race condition in a workflow representation is detected and corrected. First and second contracts are retrieved for respective first and second analytics of the workflow representation, wherein the contracts specify input types and output types of their analytics. Both contracts include information required to execute their respective analytics by a workflow executor. It is determined that the output type of the first analytic matches the input type of the second analytic based on a comparison of the first contract and the second contract, and that the workflow representation does not include a directed edge connecting the first analytic to the second analytic. The inclusion of a directed edge in the workflow representation connecting the first analytic to the second analytic will correct the race condition in the workflow representation.
    • 检测并纠正工作流表示中的竞争条件。 对于工作流表示的相应的第一和第二分析,检索第一和第二合同,其中合同指定其分析的输入类型和输出类型。 这两个合同都包括由工作流执行者执行相应分析所需的信息。 确定基于第一合同和第二合同的比较,第一分析的输出类型与第二分析的输入类型匹配,并且工作流表示不包括将第一分析连接到第二分析的有向边 分析。 将连接第一个分析到第二个分析的工作流表示中的有向边界包含在工作流表示中将会纠正竞争条件。