发送短信 : Formal analysis of metamodel :