Stav dette: UML 2 semantics and applications