Automatic detection and resolution of lexical ambiguity in process models