Using Stateful Activities to Facilitate Monitoring and Repair in Workflow Choreographies | IEEE Conference Publication | IEEE Xplore