Realtime commercial bidding system
This presentation is the property of its rightful owner.
Sponsored Links
1 / 17

Realtime Commercial Bidding System PowerPoint PPT Presentation


  • 75 Views
  • Uploaded on
  • Presentation posted in: General

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

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.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)


Group 8 thanks you for your time

Group 8 thanks you for your time


  • Login