Declarative composition and peer-to-peer provisioning of dynamic Web services | IEEE Conference Publication | IEEE Xplore