Automation Enabled by DAML-S