Service-oriented computing has emerged as an acknowledged paradigm for developing complex and non-monolithic systems of different kinds. The paradigm allows different organizations to aggregate several simple services to form a composition of communicating entities in the system. Naturally, services in such a system are subject to change and adaptation over time. Service-oriented computing prov...