Modeling, verifying and reasoning about web services