An Efficient Bounded Model Checking Approach for Web Service Composition.
Yuanzhang LiDongyan MaChen LiuWencong HanHongwei JiangJingjing HuPublished in: Mob. Networks Appl. (2021)
Keyphrases
- web service composition
- bounded model checking
- service composition
- web services
- petri net
- model checking
- description language
- web services composition
- service selection
- discrete particle swarm optimization
- ai planning
- linear temporal logic
- formal verification
- automated web service composition
- semantic matching
- temporal logic
- web service compositions
- composition of web services
- web service selection
- composite services
- simulated annealing
- cooperative
- case study