figshare
Browse
2017ALABDULLATIFMPhD.pdf (5.86 MB)

Graph Transformation Games for Negotiating Features

Download (5.86 MB)
thesis
posted on 2017-03-14, 15:49 authored by Mohammed Abdulrahman Ahmed Alabdullatif
The success of e-commerce applications and services depends on the outcomes of interactions between the provider of the products or services and its requestors. The flexibility of these agents to negotiate features of the products or services traded is an important characteristic of face-to-face business interactions, but is often missing in the online world. Flexibility is needed to discuss preferences and constraints in order to determine a solution that benefits both parties. Game theory is a natural framework in which to pose such problems. This thesis is concerned with a proposal-based negotiation: through which a service provider and requestor interact by exchanging proposals. In particular, we propose negotiation games based on feature models to design the flexible business interactions. Feature models are used to represent service configurations in order to support the variability of negotiated services, which increases the flexibility of the negotiators’ interactions. We introduce graph transformation games to implement and analyse our negotiation games, modelling the negotiation of features by representing the state of the game by a graph and the moves of the players by graph transformation rules. We propose two analyses of our graph transformation games in order to explore different negotiation strategies. Firstly, we analyse our graph transformation games as extensive-form games, in which backward induction technique is used to solve the game and determine the optimal strategies for the negotiators at each state of the game. Secondly, we analyse our graph transformation games as two-player turn-based stochastic games using the PRISM-games model checker. We define single-objective and multi-objective properties in order to generate optimal strategies for the players. To evaluate our approach, we applied it to a selection of feature models in order to test the scalability of the graph transformation games’ generation and analysis time.

History

Supervisor(s)

Heckel, Reiko; Erlebach, Thomas

Date of award

2017-03-07

Author affiliation

Department of Informatics

Awarding institution

University of Leicester

Qualification level

  • Doctoral

Qualification name

  • PhD

Language

en

Usage metrics

    University of Leicester Theses

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC