As Service Oriented Computing becomes the prevalent methodology for engineering distributed applications, service composition remains a key challenge to the reality of on-the-fly application composition using available services ...