VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition.
Manman ChenTian Huat TanJun SunYang LiuJin Song DongPublished in: ICSE Companion (2014)
Keyphrases
- web service composition
- service composition
- functional and non functional requirements
- web services
- petri net
- web services composition
- ai planning
- description language
- automated web service composition
- discrete particle swarm optimization
- service selection
- web service selection
- composition of web services
- web service compositions
- model checking
- integer programming
- composite services
- service oriented
- open source