Patent Document ID: 8848214
Application ID: 12323800
Patent Flag: 1

Claim One:
1. A non-transitory computer-readable medium having computer-executable instructions for performing steps to synthesize and validate a workflow plan, comprising: converting capability descriptions for each of a plurality of devices into individual capability items for each of said devices; augmenting said capability items with additional information external to said capability descriptions; receiving domain dependent predicate definitions and domain dependent operator definitions based on each of said devices, wherein said operator definitions are capable of modifying said predicate definitions; converting a partial workflow plan into properties of a goal-state, wherein said partial workflow plan lacks at least one of a required processing step, a required resource description or required device description and wherein said goal-state includes physical properties of a finished product; validating said partial workflow plan utilizing said predicate definitions, operator definitions, initial facts and said properties of a goal-state; and upon determining that said partial workflow plan is valid, synthesizing and validating a complete workflow plan utilizing said augmented capability items, predicate definitions, operator definitions, and said properties of goal-state.