Towards search-based modelling and analysis of requirements and architecture decisions

Many requirements engineering and software architecture decisions are complicated by uncertainty and multiple conflicting stakeholders objectives. Using quantitative decision models helps clarify these decisions and allows the use of multi-objective simulation optimisation techniques in analysing the impact of decisions on objectives. Existing requirements and architecture decision support methods that use quantitative decision models are limited by the difficulty in elaborating problem-specific decision models and/or lack integrated tool support for automated decision analysis under uncertainty. To address these problems and facilitate requirements and architecture decision analysis, this research proposes a novel modelling language and automated decision analysis technique, implemented in a tool called RADAR. The modelling language is a simplified version of quantitative AND/OR goal models used in requirements engineering and similar to feature models used in software product lines. This research involves developing the RADAR tool and evaluating the tool's applicability, usefulness and scalability on a set of real-world examples.

[1]  Bashar Nuseibeh,et al.  Automating trade-off analysis of security requirements , 2016, Requirements Engineering.

[2]  Jeremy E. Oakley,et al.  Uncertain Judgements: Eliciting Experts' Probabilities , 2006 .

[3]  Emmanuel Letier,et al.  Simulating and optimising design decisions in quantitative goal models , 2011, 2011 IEEE 19th International Requirements Engineering Conference.

[4]  Márcio de Oliveira Barros,et al.  A Systematic Review of Software Requirements Selection and Prioritization Using SBSE Approaches , 2013, SSBSE.

[5]  DJ Hand,et al.  Performance criteria for plastic card fraud detection tools , 2008, J. Oper. Res. Soc..

[6]  Lin Liu,et al.  Modelling Trust for System Design Using the i* Strategic Actors Framework , 2000, Trust in Cyber-societies.

[7]  Kalyanmoy Deb,et al.  A Fast Elitist Non-dominated Sorting Genetic Algorithm for Multi-objective Optimisation: NSGA-II , 2000, PPSN.

[8]  Earl T. Barr,et al.  Uncertainty, risk, and information value in software requirements and architecture , 2014, ICSE.

[9]  Günther Ruhe,et al.  Product Release Planning - Methods, Tools and Applications , 2010 .

[10]  Zafar Zafari,et al.  Need for speed: an efficient algorithm for calculation of single-parameter expected value of partial perfect information. , 2013, Value in health : the journal of the International Society for Pharmacoeconomics and Outcomes Research.

[11]  David S. Rosenblum,et al.  Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis , 2013, IEEE Transactions on Software Engineering.

[12]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[13]  Mark Klein,et al.  Quantifying the value of architecture design decisions: lessons from the field , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[14]  Jim Hoover,et al.  About Computing Science Research Methodology , 2022 .

[15]  Aneesh Krishna,et al.  Optimal Selection of Operationalizations for Non-Functional Requirements , 2013, APCCM.

[16]  Victor J. Rayward-Smith,et al.  The next release problem , 2001, Inf. Softw. Technol..

[17]  David J. Pym,et al.  Improving Security Policy Decisions with Models , 2015, IEEE Security & Privacy.

[18]  Pierre-Yves Schobbens,et al.  Feature Diagrams: A Survey and a Formal Semantics , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[19]  Ronald A. Howard,et al.  Information Value Theory , 1966, IEEE Trans. Syst. Sci. Cybern..

[20]  Kalyanmoy Deb,et al.  A fast and elitist multiobjective genetic algorithm: NSGA-II , 2002, IEEE Trans. Evol. Comput..

[21]  Rick Kazman,et al.  Making Architecture Design Decisions: An Economic Approach , 2002 .

[22]  Axel van Lamsweerde,et al.  Reasoning about partial goal satisfaction for requirements and design engineering , 2004, SIGSOFT '04/FSE-12.

[23]  Emmanuel Letier,et al.  Scalability Analysis of the RADAR Decision Support Tool , 2017, ArXiv.

[24]  Emmanuel Letier,et al.  RADAR: A Lightweight Tool for Requirements and Architecture Decision Analysis , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

[25]  Sam Malek,et al.  GuideArch: Guiding the exploration of architectural solution space under uncertainty , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[26]  Mark Klein,et al.  Quantifying the costs and benefits of architectural decisions , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.