Web Service Transaction Correctness