發送短信 : Tool-assisted model for software requirement negotiation