Transaction-Based Requirements