Control Flow Requirements for Automated Service Composition