Ingo M. Weber

• Semantic Methods For Executionlevel Business Process Modeling Modeling Support Through Process Verification And Service Composition
• Semantic Methods for Execution-Level Business Process Modeling