16. The method according to claim 12 , wherein the plurality of constraints comprise a component constraint enforcing semantics of an external view of one or more of the components, a graph constraint enforcing semantics of the plurality of flows of query variables, and a predecessor constraint enforcing semantics of one or more potential predecessors.
12. The method according to claim 10 , further comprising generating one or more constraints for ruling out invalid flows of the plurality of flows.