model checking. verification of communication protocols in web services modelchecking service compositions wiley series on parall distributed computing communication service