An Integrated Declarative Approach to Web Services Composition and Monitoring