Zaslat SMS: UML 2 semantics and applications