The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal reasoning techniques can be applied for discovery, composition, mediation and execution of business processes. This paper introduces a modelling environment that supports the SUPER approach to Semantic BPM.