A flow graph-based test model for OWL-S web services | IEEE Conference Publication | IEEE Xplore