Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP.
Ming ZhuXiaoliu CuiGuodong FanPublished in: J. Ubiquitous Syst. Pervasive Networks (2019)
Keyphrases
- qos aware
- web service composition
- response time
- petri net
- service composition
- quality of service
- service selection
- web services
- ai planning
- description language
- qos requirements
- constraint satisfaction problems
- fault tolerance
- scheduling algorithm
- model checking
- service discovery
- query execution
- software development
- ip networks
- distributed query processing
- state space