QoS-Aware Ubiquitous service Composition Based on Linear Logic Inference Rules.
Hongbin SunPublished in: Int. J. Online Eng. (2013)
Keyphrases
- qos aware
- service composition
- inference rules
- linear logic
- logical framework
- web service composition
- sequent calculus
- web services
- service selection
- service oriented
- cut elimination
- petri net
- modal logic
- proof search
- first order logic
- theorem prover
- conditional probabilities
- fixed point
- service oriented architecture
- logic programming
- desirable properties
- context aware
- database