Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP.
Ming ZhuJing LiGuodong FanKunsheng ZhaoPublished in: EUSPN/ICTH (2018)
Keyphrases
- qos aware
- web service composition
- response time
- petri net
- service composition
- quality of service
- service selection
- web services
- ai planning
- qos requirements
- scheduling algorithm
- distributed query processing
- description language
- service oriented
- query execution
- constraint satisfaction problems
- fault tolerance
- optimal solution