Formal Modeling and Verification for Web Service Composition.
Baojun TianYanlin GuPublished in: J. Softw. (2013)
Keyphrases
- web service composition
- service composition
- web services
- petri net
- ai planning
- description language
- formal methods
- web services composition
- service selection
- web service selection
- discrete particle swarm optimization
- service oriented
- semantic matching
- orders of magnitude
- model checking
- software development
- real time
- automated web service composition