Reachability analysis of Web service interfaces.
Xutao DuChunxiao XingLizhu ZhouPublished in: IRI (2008)
Keyphrases
- reachability analysis
- web services
- model checking
- markov decision processes
- timed automata
- incremental algorithms
- state space
- loosely coupled
- business processes
- semantic web services
- user interface
- reference architecture
- service architecture
- web service composition
- service discovery
- web applications
- quality of service
- temporal logic
- business process
- optimal policy
- service providers