Quality-Aware Service Delegation in Automated Web Service Composition: An Automata-Theoretic Approach