1 / 17

Realtime Commercial Bidding System

Realtime Commercial Bidding System. Team 8 Andrew Stafford Paul Heyniger Chris Kondos Kevin Southworth. Motivation. Lack of B2B Trading Services Large market demand Opportunity for profit Global access. RCBS. Distributed online auction site Realtime Standard and Reverse auctions

cicily
Download Presentation

Realtime Commercial Bidding System

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Realtime Commercial Bidding System Team 8 Andrew Stafford Paul Heyniger Chris Kondos Kevin Southworth

  2. Motivation • Lack of B2B Trading Services • Large market demand • Opportunity for profit • Global access

  3. RCBS • Distributed online auction site • Realtime • Standard and Reverse auctions • Secure transactions

  4. Overview of Requirements • Users can • Login to system • Register for new account • Create standard and reverse auctions • Create reserve auctions • Bid in auctions • View list of auctions • View auction information w/out joining

  5. Prototype • Swing based Java 2 Application • Helped flesh out requirements

  6. Class Diagram • Main classes • Auction • Standard • Reverse • Auctioneer • Client • Auction Creator • Bidder

  7. Problems and Solutions with Analysis • Do methods go in calling or called class • Calling class • Division of client • Auction creator • Bidder • Which objects deserve classes • Modeled objects with important relationships • Confusing Terminology • Asked client questions • Peer review feedback

  8. Critical System Properties • Secure transactions • Reliability • System response time

  9. Promela • Modeled Interaction between Auctioneer and Client • Used two Proctypes to show Communication • Multiple Test cases for Desired Result

  10. Test Case 1 • Working Case • One Bidder, One Bid • This shows how the system can work

  11. Test Case 2 • Two Concurrent Bidders • Same Bid • System sent auction time elapse • Analysis • Deadlock Occurs • Bid Dropped

  12. Test Case 3 • One Bidder • Auction Timeout occurs while bid being checked • Client Deadlocks

  13. LTL Analysis • LTL Formula: • - [](p-><>q) • - p = (toclient??(high_bid)) • - q = (toauctioneer?? • (auction_time_elapse)

  14. Group 8 thanks you for your time

More Related