Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper).
Xutao DuChunxiao XingLizhu ZhouPublished in: QSIC (2008)
Keyphrases
- reachability analysis
- web services
- model checking
- markov decision processes
- timed automata
- incremental algorithms
- shortest path
- service providers
- semantic web services
- user interface
- state space
- service oriented
- service architecture
- random walk
- service composition
- service discovery
- loosely coupled
- artificial intelligence