This invention relates to the field of multi-objective workflow optimization. Certain exemplary embodiments of the invention are applicable in cases where workflow descriptions contain choice variables relating for instance to the selection of a specific service provider out of several service providers that provide similar services, to the selection of human workers, or to the selection between alternative subworkflows. A binding represents a combination of choices, binding the choice variables to specific values. Bindings induce specific cost and/or quality properties to the workflow, a binding being Pareto-optimal if no other binding exists that is at least as good for every cost and/or quality property and better for at least one property. Certain exemplary embodiments relate to a system and/or computer-implemented method for computing an approximation of the set of Pareto-optimal bindings such that the computed approximation satisfies specified minimum precision requirements