Automated composition of web services via planning in asynchronous domains