Web Services Composition Verification Using Satisfiability Solving.

Ehtesham Zahoor Olivier Perrin Claude Godart

Published in: ICWS (2012)

Keyphrases

web services composition
service composition
composition of web services
web services
web service composition
highly reliable
model checking
process algebra
asynchronous circuits
composite web services
case study
response time
np complete
combinatorial optimization
propositional logic
sat encodings