Semantic methods for execution-level business process modeling modeling support through process verification and service composition - Weber, Ingo M. (Lecture Notes in Business Information Processing, 2009)