Model Checking for Web Service Flow Based on Annotated OWL-S | IEEE Conference Publication | IEEE Xplore