Declarative composition and peer-to-peer provisioning of dynamic Web services | Synapse