Modeling and Diagnosing OrchestratedWeb Service Processes | IEEE Conference Publication | IEEE Xplore