A linear logic approach to the composition of RESTful web services.
Xia ZhaoEnjie LiuHong Qing YuGordon ClapworthyPublished in: Int. J. Web Eng. Technol. (2015)
Keyphrases
- web services
- linear logic
- web service composition
- web services composition
- composition of web services
- web service compositions
- composite services
- proof theoretic
- service oriented
- service composition
- description language
- cut elimination
- composite web services
- logic programming
- business processes
- desirable properties
- fixed point
- logical framework
- loosely coupled
- intuitionistic logic
- sequent calculus
- semantic web services
- business process
- service discovery
- proof search
- service description
- web applications
- service oriented architecture
- inference rules
- sufficient conditions
- publish subscribe
- web technologies
- high level