Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper).

Xutao Du Chunxiao Xing Lizhu Zhou

Published 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