Let's draw the module graph that represents the interaction between the service provider and consumer modules. We know how to represent readability relationships. How about service consumer and provider dependencies? The following diagram uses arrows to depict both the uses and provides dependencies, with labels to identify them:
The lack of dependencies between the consumer and provider modules is the key to loose coupling that is enabled using services.