BDD tools might be useful here: I've heard of people getting good results from getting everyone in room and formally specifying the requirements that way. Don't even need the tests to be executable, just well structured.