Completeness and realizability: conditions for automatic generation of workflows