Semantic Methods for Execution-level Business Process Modeling : Modeling Support Through Process Verification and Service Composition - Ingo M. Weber ((Lecture Notes in Business Information Processing))