UML 2 Semantics and Applications