Problem-Oriented Synthesis of Business Software