Anfonwch hwn fel neges destun: Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines