Semantic Methods For Executionlevel Business Process Modeling Modeling Support Through Process Verification And Service Composition by Ingo M. Weber | Menrva Books | MenrvaBooks