Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these implementations correctly. Carrying out these activities manually can be time consuming, since it involves searching in large service repositories and cycles of testing and re-designing. We present Maestro for BPMN, a tool that allows to annotate and automatically compose activities within business processes, and to verify the consistency of an annotated process.