Modelling Service Workflow Outcomes by Assessing the Underlying Message Flows | IEEE Conference Publication | IEEE Xplore