Resolution and Constraint Propagation for Semantic Web Services Discovery.
Etienne CanaudSalima BenbernouMohand-Said HacidFarouk ToumaniPublished in: BDA (2003)
Keyphrases
- web services discovery
- constraint propagation
- constraint reasoning
- service discovery
- constraint programming
- constraint solving
- constraint satisfaction problems
- temporal constraints
- interval arithmetic
- semantic web services
- constraint satisfaction
- web services
- quantifier elimination
- constrained problems
- systematic search
- constraint graph
- arc consistency
- finite domain
- constraint networks
- path consistency