Correctness of services and their composition