1. A computer-implemented method for propagating relations between a first business parameter and a second business parameter wherein the first and second business parameters are invoked by a common workflow model, the method comprising: tracing paths along a first direction through the workflow model from the first business parameter to the second business parameter; automatically enumerating relations that extend along the first direction from first the business parameter to the second business parameter; using multi-valued logic; and computing the effects on the relations of control flow through the workflow model from the first business parameter to the second business parameter.