Patent ID: 7536607
Filing Date: 2009-05-19
Classification: G06F

Abstract:
1. In a computing system that includes one or more processors and a computer-readable media having thereon computer-executable instructions, a method for the computing system to generate, prior to execution of a sequence of tasks, a sequence preconditions list and a sequence postconditions list for the entire sequence by combining and consolidating one or more preconditions and one or more postconditions from individual tasks in the sequence of tasks, and, also prior to execution of any task in the sequence of tasks, using the preconditions and postconditions to check for conflicts and thereby verify that the sequence of tasks is more likely not to fail, the method performed by executing the computer-executable instructions by the one or more processors, the method comprising the following: an act of accessing one or more preconditions for a first task in the sequence of tasks; an act of adding the one or more preconditions to the sequence preconditions list; an act of accessing one or more postconditions for the first task; an act of adding the one or more postconditions to the sequence postconditions list; for one or more subsequent tasks in the sequence of tasks, an act of performing the following, one subsequent task at a time: an act of accessing one or more postconditions for the subsequent tasks; for each postcondition of the one or more postconditions for the subsequent tasks, an act of performing the following: