explicit relation between service contract and service implementations