WSAT: A Tool for Formal Analysis of Web Services.

Xiang Fu Tevfik Bultan Jianwen Su

Published in: CAV (2004)

Keyphrases

formal analysis
web services
formal methods
business processes
ban logic
web applications
semantic web services
satisfiability problem
service oriented
web service composition
agent model
service providers
lightweight
service composition
quality of service
low cost
software engineering