この資料をSMS送信: Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines