Web Service Composition Automation Based on Term Rewriting System.
Khai T. HuynhVan T. T. PhamTho T. QuanThang H. BuiPublished in: ACOMP (2015)
Keyphrases
- web service composition
- term rewriting
- service composition
- theorem proving
- theorem prover
- web services
- petri net
- ai planning
- web services composition
- automated web service composition
- rewrite systems
- operational semantics
- knuth bendix
- discrete particle swarm optimization
- service selection
- composition of web services
- description language
- web service selection
- web service compositions
- composite services
- database