Specing out the transaction behavior