A methodology for developing and composing business services