Construction and management of highly available services in open distributed systems