Verifying compositional equivalence between web service composition graphs.
Gopal N. RaiG. R. GangadharanPublished in: Concurr. Comput. Pract. Exp. (2018)
Keyphrases
- web service composition
- service composition
- web services
- petri net
- ai planning
- web services composition
- discrete particle swarm optimization
- automated web service composition
- description language
- web service selection
- service selection
- semantic matching
- web service compositions
- model checking
- composition of web services
- service oriented
- case study
- real time
- end to end