发明名称 Task sequence integration and execution mechanism with automated global condition checking and compensation
摘要 A method for verifying that a sequence of tasks is more likely to be successful prior to executing the sequence of tasks. First, a projection algorithm is performed to generate a precondition and postconditions list for the entire sequence. In order to execute the sequence of tasks, it is determined whether or not all of the preconditions in the preconditions list are satisfied. If they are not, then the sequence of task fails without performing any of the sequence of tasks. On the other hand, if the sequence preconditions are all satisfied, the sequence of tasks is executed one at a time. If any of the sequence of tasks fails, then the tasks that have been executed may be compensated to return to the initial state. Once execution completes assuming none of the task executions failed, the postconditions for the sequence are checked.
申请公布号 US2006195678(A1) 申请公布日期 2006.08.31
申请号 US20050065909 申请日期 2005.02.25
申请人 MICROSOFT CORPORATION 发明人 JALOBEANU MIHAI R.
分类号 G06F15/00 主分类号 G06F15/00
代理机构 代理人
主权项
地址