Web services composition is decidable.
Ramy Ragab HassenFarouk ToumaniLhouari NourinePublished in: WebDB (2008)
Keyphrases
- web services composition
- web service composition
- service composition
- web services
- composition of web services
- highly reliable
- first order logic
- process algebra
- service selection
- quality of service
- service discovery
- transitive closure
- datalog programs
- heuristic search
- service oriented
- search space
- knowledge base
- function symbols
- composite web services