Empirical evaluation of a service analysis and design methodology