Multi-user variability configuration: A game theoretic approach

Multi-user configuration is a neglected problem in variability-intensive systems area. The appearance of conflicts among user configurations is a main concern. Current approaches focus on avoiding such conflicts, applying the mutual exclusion principle. However, this perspective has a negative impact on users satisfaction, who cannot make any decision fairly. In this work, we propose an interpretation of multi-user configuration as a game theoretic problem. Game theory is a well-known discipline which analyzes conflicts and cooperation among intelligent rational decision-makers. We present a taxonomy of multi-user configuration approaches, and how they can be interpreted as different problems of game theory. We focus on cooperative game theory to propose and automate a tradeoff-based bargaining approach, as a way to solve the conflicts and maximize user satisfaction at the same time.

[1]  Douglas C. Schmidt,et al.  Automated diagnosis of feature model configurations , 2010, J. Syst. Softw..

[2]  Patrick Martin,et al.  An Adaptive and Intelligent SLA Negotiation System for Web Services , 2011, IEEE Transactions on Services Computing.

[3]  Donald D. Cowan,et al.  Collaborative Product Configuration: Formalization and Efficient Algorithms for Dependency Analysis , 2008, J. Softw..

[4]  Joachim Karlsson,et al.  A Cost-Value Approach for Prioritizing Requirements , 1997, IEEE Softw..

[5]  Rafael Corchuelo,et al.  Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements , 2002, WER.

[6]  Roger B. Myerson,et al.  Game theory - Analysis of Conflict , 1991 .

[7]  Krzysztof Czarnecki,et al.  Staged Configuration Using Feature Models , 2004, SPLC.

[8]  Liviu Dan Serban,et al.  A time-constrained SLA negotiation strategy in competitive computational grids , 2012, Future Gener. Comput. Syst..

[9]  Salvatore Venticinque,et al.  A distributed scheduling framework based on selfish autonomous agents for federated cloud environments , 2013, Future Gener. Comput. Syst..

[10]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[11]  Jörn Altmann,et al.  Bilateral Bargaining Game and Fuzzy Logic in the System Handling SLA-Based Workflow , 2008, 22nd International Conference on Advanced Information Networking and Applications - Workshops (aina workshops 2008).

[12]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[13]  Naixue Xiong,et al.  A game-theoretic method of fair resource allocation for cloud computing services , 2010, The Journal of Supercomputing.

[14]  David M. Kreps,et al.  Rational cooperation in the finitely repeated prisoners' dilemma , 1982 .

[15]  Barry W. Boehm,et al.  Software requirements as negotiated win conditions , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[16]  J. Nash THE BARGAINING PROBLEM , 1950, Classics in Game Theory.

[17]  Rafael Corchuelo,et al.  Automated support for quality requirements in Web-service-based systems , 2001, Proceedings Eighth IEEE Workshop on Future Trends of Distributed Computing Systems. FTDCS 2001.