A Request Language for Web-Services Based on Planning and Constraint Satisfaction.
Marco AielloMike P. PapazoglouJian YangMark James CarmanMarco PistoreLuciano SerafiniPaolo TraversoPublished in: TES (2002)
Keyphrases
- formal descriptions
- constraint satisfaction
- web services
- heuristic search
- constraint satisfaction problems
- phase transition
- planning problems
- constraint relaxation
- robust fault detection
- composition of web services
- constraint programming
- arc consistency
- constraint propagation
- constrained problems
- backtrack search
- sat solvers
- decision support
- service requests
- relaxation labeling
- constraint solving
- service providers
- russian doll search
- neural network
- forward checking
- constraint networks
- search space
- service description
- web service composition
- constraint optimization
- combinatorial problems
- semantic web services
- search strategies
- state space