A High-Level Specification for Semantic Web Service Discovery Services