2. Real Time Commercial Bidding System Team 9 Robert Banta Robert Banta Neil Sanborn Neil Sanborn Lauren Palmer Lauren Palmer Michael Prince

3. Real Time Commercial Bidding System Online auction for commercial goods and services Online auction for commercial goods and services Motivation for project Motivation for project  More options for commercial industry  Real time  Specialized trading Common placeCommon place Reverse/Regular AuctionReverse/Regular Auction  Facilitates efficient buying and selling

4. Overview of Features Regular Auction Regular Auction Reverse Auction Reverse Auction Real Time Real Time Automated Auctioneer Automated Auctioneer Viewing history Viewing history  Bids  Auctions

5. Prototype

7. Description of Class Model Construction of Model Construction of Model  Major classes  User, Auction, Automated Auctioneer User User  Bidder  Buyer/Seller Authorization System Authorization System  Handles Login and Registration

8. Description of Class Model (cont.) Auction Auction  Reverse Auction  Regular Auction Item Item Bid Bid Automated Auctioneer Automated Auctioneer  Performs Auction actions  Notifications, Bid check, Timer, etc.

9. Description of Class Model (cont.) Why constructed this way?? Why constructed this way??  Simplicity  Abstraction

10. Class Model

11. Problems Along the Way Registration Authorization & Login Registration Authorization & Login  How to authorize  When to authorize  External? Internally by system? Defining a User Defining a User  How to break down

12. Problems Along the Way (cont.) Auction vs. Automated Auctioneer Auction vs. Automated Auctioneer  Keep functionalities separate? (1 to 1 relation)

13. How Problems Were Solved Registration Authorization & Login Registration Authorization & Login  New class  Authorization System  Register only once  Login each time using site Defining a User Defining a User  Subclasses  Shared attributes  Unique attributes

14. How Problems Were Solved (cont.) Auction vs. Automated Auctioneer Auction vs. Automated Auctioneer  Modified Auction class  Operations of Auction should be automated by system  Does not perform auction specific functions ExamplesExamples –Notifying users of winning bids –Verifying bids

15. Critical System Properties User can be a Buyer and/or Seller User can be a Buyer and/or Seller Join/View Auctions Join/View Auctions Withdrawing from auction Withdrawing from auction Authorization Authorization  Withdrawing from auction  Login  Registration

16. Critical System Properties (cont.) Terms & Conditions Terms & Conditions

17. Promela Analysis Analysis  Spin Results Results  Deadlock  Dropped bids