Deriving executable process descriptions from UML | IEEE Conference Publication | IEEE Xplore