Research on Web Service Composition and Verification.
Yong-shang ChengZhijian WangXiaofeng ZhouPublished in: SKG (2007)
Keyphrases
- web service composition
- service composition
- web services
- petri net
- discrete particle swarm optimization
- description language
- automated web service composition
- web services composition
- service selection
- ai planning
- model checking
- web service selection
- composition of web services
- web service compositions
- composite services
- semantic matching
- integer programming