Error propagation analysis in composition of software services