6. The computer implemented method of claim 3 , wherein each output port of each stream processing component data structure is modeled using effects of the action associated with the stream processing component.
6. The computer implemented method of claim 3 , wherein each output port of each stream processing component data structure is modeled using effects of the action associated with the stream processing component. 8. The computer implemented method of claim 6 , wherein a first stream processing component in the workflow generates an output stream at a first output port and wherein a second stream processing component receives the output stream at a first input port, wherein the one or more property values for the output stream satisfy the one or more preconditions of the first input.