發送短信 : Software and systems modeling