A Distributed Operating System for XML Web Services