Executable UML and xtUML Methodology