Use this URL to cite or link to this record in EThOS:
Title: Automated certification of online auction services
Author: Bai, Wei
ISNI:       0000 0004 6059 6176
Awarding Body: University of Liverpool
Current Institution: University of Liverpool
Date of Award: 2016
Availability of Full Text:
Access from EThOS:
Access from Institution:
Auction mechanisms are viewed as an efficient approach for resource allocation and different types of auctions have been designed to allocate spectrum, determine positions for advertisements on web pages, and sell products on the Internet, among others. Online auctions can be implemented as an intermediary for both sellers and buyers in agent-mediated e-commerce systems. This raises two concerns. Firstly, the automation of online auction trading requires buyer agents to understand the auction protocol and have the ability to communicate with the seller agents (i.e., the auctioneer). Secondly, buyer agents need to automatically check desirable properties that are central to their decision making. To address both concerns, we have proposed a certification framework to enable software agents automatically verify some desirable properties of a specific auction through a formally designed communication protocol, and then make decisions according to the result of the communication. Furthermore, we have extended the communication mechanism to the area of Semantic Web Service composition and have explored the verification of combinatorial auction mechanisms. To demonstrate our approach, we have modelled online auctions as web services and have applied the technique of Semantic Web Service to represent auction protocols. Then we rely on computer-aided verification techniques to construct and check formal proofs of desirable properties for specific auctions. Finally, dialogue games are proposed to enable decision making and service compositions for software agents.
Supervisor: Tadjouddine, ; Payne, Terry ; Guan, Steven Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral