Login / Signup
Policy based Web Service Orchestration and Goal Reachability Analysis using MSC and CP Nets.
Aabhas V. Paliwal
Nabil R. Adam
Basit Shafiq
Christof Bornhövd
Published in:
CEC/EEE (2007)
Keyphrases
</>
web services
reachability analysis
markov decision processes
model checking
cp nets
optimal policy
service oriented architecture
timed automata
probabilistic model
state space
multi attribute
infinite horizon
reward function