Two-way Web service: from interface design to interface verification | IEEE Conference Publication | IEEE Xplore