Semantic Web Service Composition Using Formal Verification Techniques.

Hyunyoung Kil Wonhong Nam

Published in: FGIT-EL/DTA/UNESST (2012)

Keyphrases

formal verification
semantic web service composition
model checking
service composition
bounded model checking
model checker
automated verification
symbolic model checking
program slicing
web services
temporal logic
service description