You have been asked to implement a serverless workflow for processing and analyzing IoT device data. The workflow should trigger whenever a new data batch is received from the devices. Which AWS service would you use to implement this serverless workflow, and how would you set it up?