CTL-Based Adaptive Service Composition in Edge Networks.
Deng ZhaoZhangbing ZhouPatrick C. K. HungShuiguang DengXiao XueWalid GaaloulPublished in: IEEE Trans. Serv. Comput. (2023)
Keyphrases
- cellular networks
- service composition
- web service composition
- web services
- petri net
- qos aware
- ai planning
- service selection
- goal driven
- service oriented
- service oriented computing
- petri net model
- service integration
- web service compositions
- ws bpel
- asynchronous communication
- edge detection
- temporal logic
- composition of web services
- web services composition
- model checking
- real time
- web service selection
- semantic modeling
- lightweight
- software engineering
- service discovery
- service oriented architecture