Web services: Design choices for space ground system integration | IEEE Conference Publication | IEEE Xplore