A Two-Stage RESTful Web Service Composition Method Based on Linear Logic | IEEE Conference Publication | IEEE Xplore