1. An apparatus, comprising: a processor; a non-transitory computer-readable storage medium coupled to the processor; a plurality of infrastructure resources; a set of normalized resource states corresponding to the plurality of infrastructure resources; a set of normalized operations corresponding to the plurality of infrastructure resources, wherein each input and output of each normalized operation of the set of normalized operations has a corresponding defined type of a plurality of types; and logic, stored on the non-transitory computer-readable storage medium and executed on the processor, for: generating a plurality of operational sequences, each operation sequence generated by composing a plurality of normalized operations of the set of normalized operations with corresponding resources of the plurality of infrastructure resources such that the output of each of the set of normalized operations becomes the input of another of the set of normalized operations, wherein a defined type corresponding to each particular input matches a defined type corresponding to the corresponding output; generating a workflow plan by composing the plurality of operational sequences in conformity with well-defined operational semantics; and storing, in a non-transitory computer-readable storage medium, the workflow plan for execution on a processor.