Correctness of services and their composition door N. Lohmann