Game Theory-Based Reasoning of Opposing Non-functional Requirements using Inter-actor Dependencies

Abstract

Abstract Goal-oriented requirements engineering frameworks are used to model stakeholders’ objectives and requirements using goals. In a real-time environment, stakeholders’ requirements may have opposing objectives. Hence, a novel framework is needed that captures the real issues in order to achieve multi-objective optimization of inter-dependent actors. For obtaining an optimum strategy for inter-dependent actors in the i* goal model, a multi-objective two-person zero-sum game theory-based approach is applied in this paper, by balancing the opposing goals reciprocally. The proposed approach involves the generation of each objective function based on the inter-dependency relationships, the creation of decision pay-off matrices based on the objective function values and their variation to a final decision pay-off matrix. A Maxmin solution is formulated for the multi-objective game model, in which the optimization problem for each player is a linear programming problem. Finally, the most desirable strategies and their proportion values are found. By integrating Java with the IBM CPLEX optimization tool, a simulation model based on the proposed method was developed. A successful evaluation was conducted on various case studies from the existing literature. Evaluation results indicate that the developed simulation model helps users to choose an optimal alternative design option feasible in real-time competitive environments that have goals with opposing objectives.