Verifying a-priori the composition of declarative specified services.