An approach for supporting problem formulation in decision support development