A High-Level Specification for Mediators (Virtual Providers)