1. An apparatus, comprising: a processor; a computer-readable storage medium coupled to the processor; a set of normalized resources corresponding to 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 inputs and outputs corresponding to each normalized operation of the set of normalized operations has a defined type of a plurality of types; and logic, stored on the 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 normalized resources of the set of normalized resources such that the output of each or 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 computer-readable storage medium, the workflow plan for execution on a processor.