Realtime commercial bidding system
Download
1 / 17

Realtime Commercial Bidding System - PowerPoint PPT Presentation


  • 113 Views
  • Uploaded on

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

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Realtime Commercial Bidding System' - cicily


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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
Realtime commercial bidding system

Realtime Commercial Bidding System

Team 8

Andrew Stafford

Paul Heyniger

Chris Kondos

Kevin Southworth


Motivation
Motivation

  • Lack of B2B Trading Services

  • Large market demand

  • Opportunity for profit

  • Global access


Realtime commercial bidding system
RCBS

  • Distributed online auction site

  • Realtime

  • Standard and Reverse auctions

  • Secure transactions


Overview of requirements
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


Prototype
Prototype

  • Swing based Java 2 Application

  • Helped flesh out requirements


Class diagram
Class Diagram

  • Main classes

    • Auction

      • Standard

      • Reverse

    • Auctioneer

    • Client

      • Auction Creator

      • Bidder


Problems and solutions with analysis
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


Critical system properties
Critical System Properties

  • Secure transactions

  • Reliability

  • System response time


Promela
Promela

  • Modeled Interaction between Auctioneer and Client

  • Used two Proctypes to show Communication

  • Multiple Test cases for Desired Result


Test case 1
Test Case 1

  • Working Case

  • One Bidder, One Bid

  • This shows how the system can work


Test case 2
Test Case 2

  • Two Concurrent Bidders

  • Same Bid

  • System sent auction time elapse

  • Analysis

    • Deadlock Occurs

    • Bid Dropped


Test case 3
Test Case 3

  • One Bidder

  • Auction Timeout occurs while bid being checked

  • Client Deadlocks


Ltl analysis
LTL Analysis

  • LTL Formula:

  • - [](p-><>q)

  • - p = (toclient??(high_bid))

  • - q = (toauctioneer??

  • (auction_time_elapse)