Web service orchestration and verification using MSC and CP nets.

Aabhas V. Paliwal Nabil R. Adam Christof Bornhövd

Published in: SAC (2007)

Keyphrases

web services
cp nets
preference elicitation
model checking
multi attribute
service oriented architecture
service composition
soft constraints
proof theory
utility function
semantic web services
multiple agents
graphical representation
preference ordering
machine learning
preference relations