发送短信 : Logical approach : consistency rules between activity diagram and class diagram