Keyphrases
- formal verification
- web service composition
- service composition
- model checking
- web services
- model checker
- ai planning
- symbolic model checking
- petri net
- description language
- web services composition
- bounded model checking
- automated verification
- automated web service composition
- discrete particle swarm optimization
- service selection
- web service compositions
- semantic matching
- web service selection
- composition of web services
- formal specification
- temporal logic