A High-Level Specification for Mediators