Deriving executable process descriptions from UML