Mechanized semantics of UML seuqence diagram and state diagram