Graph Transformation Games for Negotiating Features
Graph Transformation Games for Negotiating Features
复制标题
用于谈判特征的图形转换游戏
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
M. Alabdullatif
中科院分区：
文献类型：
--
作者：
M. Alabdullatif
电子商务应用程序和服务的成功取决于产品或服务的提供者与其请求者之间交互的结果。这些代理商谈交易产品或服务的灵活性是面对面商业互动的一个重要特征，但在网络世界中往往是缺失的。为了确定对双方都有利的解决方案，讨论偏好和约束需要灵活性。博弈论是提出这类问题的自然框架。本文研究基于提议的协商：服务提供者和请求者通过交换提议进行交互。特别提出了基于特征模型的协商博弈来设计灵活的业务交互。特征模型用于表示服务配置，以支持协商服务的可变性，这增加了协商者交互的灵活性。我们引入图变换游戏来实现和分析我们的协商游戏，通过用图表示游戏的状态和用图变换规则表示玩家的移动来建模特征的协商。本文对图变换博弈进行了两种分析，以探索不同的谈判策略。首先，我们将图变换博弈分析为广义博弈，利用逆向归纳法求解博弈并确定谈判者在博弈各状态下的最优策略。其次，我们使用prism -博弈模型检查器将图变换博弈分析为基于回合的二人随机博弈。我们定义了单目标和多目标属性，以便为参与者生成最优策略。为了评估我们的方法，我们将其应用于特征模型的选择，以测试图形转换游戏的生成和分析时间的可扩展性。奉至仁至慈的真主之名。首先，如果没有全能的安拉的指引，这项工作是不可能完成的，他让我的梦想成真。我要感谢安拉给了我相信自己和追求梦想的力量。借此机会，我想对我的学术导师Reiko Heckel教授表示最深切的感谢，感谢她在我完成这篇论文的过程中不断给予我充分的指导，使我始终走在正确的道路上。他花了很多时间给我无数的指导和宝贵的建议。我非常感谢他为实现我的梦想所付出的巨大努力。我要感谢我的博士导师Thomas Erlebach教授和博士导师Fer-Jan de Vries博士在我的博士之旅中给予的指导和支持。我还要感谢我的论文评审委员会成员Artur Boronat博士和Radu Calinescu博士提出的宝贵意见和建议。许多朋友和同事与我共度时光，他们帮助我度过了愉快而难忘的博士生涯。我要感谢我最好的朋友Abdullah Alqahtani，他是我真正的兄弟，总是在我需要倾诉的时候出现在我身边。我还要特别感谢Mohammad Kharabsheh博士、Mohammad Alshira 'H博士、Ayman Bajnaid博士、Abdullah Alshanqiti博士、Marwan Radwan和Marco Hernandez。我也想借此机会衷心感谢我的赞助商费萨尔国王大学为我提供全额奖学金出国深造。我还要衷心感谢我可爱的妻子莫娜，她在整个过程中给了我灵感和鼓励。我还要感谢我的两个可爱的孩子：abdulrahman和Danah，他们总是让我微笑，在我做研究而不是玩游戏的周末，他们总是理解我。最后但并非最不重要的是，我要感谢我的父母，感谢他们在我快乐和艰难的时候都在我身边，感谢他们在我的一生中给予我指引。如果没有他们温暖的祈祷，一切都会变得更加艰难。我还要感谢我的兄弟姐妹们给我的支持和帮助。
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. Acknowledgements In the name of Allah, the Beneficent, the Merciful. First and foremost, this work would not have been completed except by guidance of the Almighty Allah, who allowed my dreams to come true. I would like to thank Allah for giving me the power to believe in myself and pursue my dreams. I would like to take this opportunity to extend my deepest gratitude to my academic supervisor, Professor Reiko Heckel, for constantly offering adequate supervision, and keeping me on the right path during the work on this thesis. He dedicated numerous hours to giving me countless guidance and valuable suggestions. I greatly appreciate his immeasurable efforts for bringing my dreams into reality. I would like to thank my PhD co-supervisor, Professor Thomas Erlebach, and PhD tutor, Dr Fer-Jan de Vries for their guidance and support during my PhD journey. I would also like to thank the members of my thesis examining committee, Dr Artur Boronat, and Dr Radu Calinescu, for their valuable comments and suggestions. Many friends and colleagues have shared time with me, and they helped to make my PhD enjoyable and memorable. I would like to thank my best friend Abdullah Alqahtani for being my true brother and always being there when I needed someone to talk to. I would also like to especially thank Dr Mohammad Kharabsheh, Dr Mohammad Alshira’H, Dr Ayman Bajnaid, Dr Abdullah Alshanqiti, Marwan Radwan, and Marco Hernandez. I would also like to take this opportunity to gratefully and sincerely thank my sponsor, King Faisal University, for granting me full scholarship to pursue my studies abroad. I also extend my sincere gratitude to my lovely wife, Mona, who inspired me and provided constant encouragement during the entire process. I also thank my wonderful children: Abdulrahaman and Danah, for always making me smile and for understanding on those weekends when I was working on this research instead of playing games. Last but not least, I would like to thank my parents for being there for the happy times and tough times and for their guidance through my life. It would have been harder without their warm prayers. I would also like to thank my sisters and my brother for their support and help.