Distributed enactment of multiagent workflows: temporal logic for web service composition