Service-oriented computing has recently gained extensive momentum in both industry and academia, and major software vendors hook on to the service paradigm and tailor their software systems towards services in order to accommodate ever-changing process and product requirements in today's dynamic market environments. While dynamic binding of services at runtime was identified as a core functionality of service-based environments as far back as 2000,...