An Executable Concurrent Model for OWL-S Process Models | IEEE Conference Publication | IEEE Xplore