Semantic Methods for Execution-level Business Process Modeling Modeling Support Through Process Verification and Service Composition - Weber, Ingo M. (Springer Berlin Heidelberg, 2009)