A Game-theoretic approach to analyze interacting actors in GRL goal models

被引:3
作者
Hassine, Jameleddine [1 ]
Kroumi, Dhaker [1 ]
Amyot, Daniel [2 ]
机构
[1] King Fahd Univ Petr & Minerals, Dhahran 31261, Saudi Arabia
[2] Univ Ottawa, Sch Elect Engn & Comp Sci, 800 King Edward St, Ottawa, ON K1N 6N5, Canada
关键词
Conflicts; Game theory; Goal-oriented Requirements Engineering (GORE); Goal-oriented Requirement Language (GRL); Nash equilibrium; Requirements; Undesirable Interactions; REQUIREMENTS ANALYSIS;
D O I
10.1007/s00766-021-00349-1
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Goal-oriented requirements engineering aims to capture desired goals and strategies of relevant stakeholders during early requirements engineering stages, using goal models. Goal-oriented modeling techniques support the analysis of system requirements (especially non-functional ones) from an operationalization perspective, through the evaluation of alternative design options. However, conflicts and undesirable interactions between requirements produced from goals are inevitable, especially as stakeholders often aim for different objectives. In this paper, we propose an approach based on game theory and the Goal-oriented Requirement Language (GRL) to reconcile interacting stakeholders (captured as GRL actors), leading to reasonable trade-offs. This approach consists in building a payoff bimatrix that considers all actor's valid GRL strategies, and computing its Nash equilibrium. Furthermore, we use two optimization techniques to reduce the size of the payoff bimatrix, hence reducing the computational cost of the Nash equilibrium. The approach goes beyond existing work by supporting nonzero-sum games, multiple alternatives, and inter-actor dependencies. We demonstrate the applicability of our game-theoretic modeling and analysis approach using a running example and two GRL models from the literature, with positive results on feasibility and applicability, including performance results.
引用
收藏
页码:399 / 422
页数:24
相关论文
共 49 条
[1]  
Affleck Amy, 2012, Proceedings 2012 International Conference on Software and System Process (ICSSP 2012), P88, DOI 10.1109/ICSSP.2012.6225987
[2]  
Akhigbe O, 2014, LECT NOTES COMPUT SC, V8824, P466, DOI 10.1007/978-3-319-12206-9_40
[3]  
Amyot Daniel, 2012, Advances in Conceptual Modeling. Proceedings ER 2012 Workshops: CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, P201, DOI 10.1007/978-3-642-33999-8_25
[4]   Evaluating Goal Models within the Goal-Oriented Requirement Language [J].
Amyot, Daniel ;
Ghanavati, Sepideh ;
Horkoff, Jennifer ;
Mussbacher, Gunter ;
Peyton, Liam ;
Yu, Eric .
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2010, 25 (08) :841-877
[5]   Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems [J].
Anda, Amal Ahmed ;
Amyot, Daniel .
2019 27TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2019), 2019, :245-256
[6]  
[Anonymous], JUCMNAV V7 0 0
[7]  
[Anonymous], 2008, 16 ACM SIGSOFT INT S, DOI [DOI 10.1145/1453101.1453133, 10.1145/1453101.1453133]
[8]  
BOEHM B, 1995, PROC INT CONF SOFTW, P243, DOI 10.1145/225014.225037
[9]  
Bryl V., 2006, DIT06006 U TRENT
[10]  
Bryl V, 2006, LECT NOTES COMPUT SC, V4275, P533