Web Service Composition Verification of Safety Properties Based on Predicate Abstraction.
Yuying WangNing YangPublished in: J. Softw. (2014)
Keyphrases
- web service composition
- service composition
- web services
- petri net
- web services composition
- discrete particle swarm optimization
- ai planning
- description language
- web service selection
- service selection
- composite services
- real time
- semantic matching
- high level
- composition of web services
- case study
- transactional properties
- web service compositions
- life cycle
- dynamic programming
- evolutionary algorithm
- automated web service composition