Coq code

Coq code of mechanized semantics of UML sequence diagram & state diagram