CTL-Based Dynamic IoT Service Composition.
Deng ZhaoZhangbing ZhouXiao XueZhuofeng ZhaoWalid GaaloulWenbo ZhangPublished in: ICWS (2021)
Keyphrases
- service composition
- web service composition
- petri net
- web services
- service oriented
- qos aware
- service oriented computing
- goal driven
- service selection
- web service compositions
- web service selection
- web services composition
- management system
- discrete particle swarm optimization
- composition of web services
- temporal logic
- model checking
- asynchronous communication
- service discovery
- service integration
- semantic web service composition
- ai planning
- petri net model
- quality of service