發送短信 : State identification during process transitions /