: The Web service architecture promises to be highly dynamic. The idea is that a service requester can discover a needed service at runtime. Due to the fact that this discovery process relies on a semantic understanding of the offered services, it is presently performed manually at development time only. In this paper we propose to use graph transformation rules to describe the semantics of Web services. These rules provide precise semantic specifications needed for an automated service discovery in a visual and intuitive way.