Static Verification of Control and Data inWeb Service Compositions | IEEE Conference Publication | IEEE Xplore