 |
The above model is a model of a Bidder(buyer) of a smart contract-based Dutch auction system using the UPPAAL modeling tool.
First, the buyer can see that when the beneficiary(seller) deploys the contract, the bidder(buyer) can simultaneously confirm that it is deployed through the ¡®broadcast channel¡¯.
After that, randomly decides whether to participate in the auction in these model.
If another model does not participate in the auction, it will transition to the end state.
If you want to participate in an auction, you will randomly decide the quantity and price you want to buy.
And you can keep checking the current price in ¡®check price¡¯ state, and if the price you want to buy matches the current price, you can bid.
At this time, two bidders are not allowed, the product and amount are delivered and the auction ends. |
IEEE/ICACT20210216 Slide.11
[Big Slide]