Model-driven approach supporting formal verification for web service composition protocols.
Christophe DumezMohamed BakhouyaJaafar GaberMaxime WackPascal LorenzPublished in: J. Netw. Comput. Appl. (2013)
Keyphrases
- web service composition
- formal verification
- service composition
- model checking
- web services
- petri net
- discrete particle swarm optimization
- ai planning
- automated verification
- web services composition
- model checker
- bounded model checking
- automated web service composition
- symbolic model checking
- composition of web services
- service selection
- description language
- temporal logic
- web service selection
- semantic matching
- software development
- dynamic programming
- evolutionary algorithm