Operation Contracts

Operation: Make an Account
Cross References: Use Cases: Registering Account
Preconditions: The user wishes to create a new account and all system requirements are functional
Post-conditions: Event-Goer has made an account

Operation: Log In
Cross References: Use Cases: Log In
Preconditions: The user has opened the application and is looking to login to the page
Post-conditions: Event-Goer has logged in

Operation: Browse Games
Cross References: Use Cases: Browse Games
Preconditions: Event-Goer has logged in and is ready to browse
Post-conditions: Event-Goer has the information they wanted to know about a game

Operation: Purchase Ticket
Cross References: Use Cases: Purchase Ticket
Preconditions: Event-Goer will be logged on the program/website and will have a ticket in their cart
Post-conditions: Event-Goer has purchased a ticket and the receipt is in their email

Operation: Add to Cart
Cross References: Use case: Add to Cart
Preconditions: Even-Goer is on the home page and has an event they would like to add with >= 1 ticket remaining.
Post-conditions: Event-Goers event that added is displayed in their cart