发送短信: Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines