Towards a precise understanding of service properties