Define the notion of a Service