Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis

Duboc, Letícia; Letier, Emmanuel; Rosenblum, David S.

doi:10.1109/tse.2012.12

Cited by 28 publications

(32 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…If our automated shortlisting step becomes a bottleneck, its performance and scalability can be improved notably by using by using evolutionary search-based algorithms to reduce the number of candidate architectures to evaluate. In the near future, we intend to conduct a systematic scalability analysis [19] of the whole approach on real case studies before attempting to improve its performance.…”

Section: Evaluation and Future Workmentioning

confidence: 99%

Uncertainty, risk, and information value in software requirements and architecture

Letier

Stefan

Barr

2014

Proceedings of the 36th International Conference on Software Engineering

Self Cite

View full text Add to dashboard Cite

Uncertainty complicates early requirements and architecture decisions and may expose a software project to significant risk. Yet software architects lack support for evaluating uncertainty, its impact on risk, and the value of reducing uncertainty before making critical decisions. We propose to apply decision analysis and multi-objective optimisation techniques to provide such support. We present a systematic method allowing software architects to describe uncertainty about the impact of alternatives on stakeholders' goals; to calculate the consequences of uncertainty through Monte-Carlo simulation; to shortlist candidate architectures based on expected costs, benefits and risks; and to assess the value of obtaining additional information before deciding. We demonstrate our method on the design of a system for coordinating emergency response teams. Our approach highlights the need for requirements engineering and software cost estimation methods to disclose uncertainty instead of hiding it.

show abstract

Section: Evaluation and Future Workmentioning

confidence: 99%

Uncertainty, risk, and information value in software requirements and architecture

Letier

Stefan

Barr

2014

Proceedings of the 36th International Conference on Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…Thus, it is imperative to understand the structure of goals in deriving requirements from a starting point. The intention of proposing a GORE model is to bridge the gaps in understanding of the system requirements between requirements engineers and non-technical stakeholders (Dardenne et al, 1993;Duboc et al, 2013;Horkoff & Yu, 2013;Lapouchnian, 2005). Also, goal modeling offers the fundamental utilities for conflict detection and management among requirements and supports a notable way of transferring requirements to users (Ur Rehman et al, 2010;Van Lamsweerde, 2001).…”

Section: Goal-oriented Requirements Engineeringmentioning

confidence: 99%

Can icons enhance requirements engineering work?

Khanom

Heimbürger

Kärkkäinen

2015

Journal of Visual Languages & Computing

View full text Add to dashboard Cite

“…Although several works have been done on scalability framework and evaluation method [4], [5], [6], [7], [8], it is hard to find a significant work that specifically focuses on verifying scalability from the code level. State of the art works focus on architectural and design aspect [4], prediction of resources to make the system scalable [5] and scalability elicitation and analysis in requirement engineering phase [7], [6], [8].…”

Section: Introductionmentioning

confidence: 99%

“…State of the art works focus on architectural and design aspect [4], prediction of resources to make the system scalable [5] and scalability elicitation and analysis in requirement engineering phase [7], [6], [8]. However, it is arguable that existing works can be used to verify that whether the code can scale and impose the strictness regarding the implication of scalability.…”

Section: Introductionmentioning

confidence: 99%

A formal approach to verify software scalability requirements using set theory and Hoare triple

Gias

Tabassum

Ami

et al. 2014

16th Int'l Conf. Computer and Information Technology

View full text Add to dashboard Cite

Scalability is the ability of a system to handle variation in execution environment and continuing to function in order to meet user needs. For ensuring scalability, it is important to verify that programmers are writing code that can scale. However, verifying scalability from code level has its own limitations as it did not receive adequate attention from researchers. This paper proposes a formal approach to verify scalability from the code level using set theory and Hoare triple. The method denotes variables and functions involving scalability through set notations. Hoare triple is used to measure the performance fulfillment with varying workload by a code segment given that certain code quality measure like caching or data compression is applied. The methodology is presented by means of an algorithm which strictly inhibits to passover a specific scalability requirement and requires to re-apply a quality measure until a specific requirement is being satisfied. The approach is applied for developing a real life online ticketing system and results show that it provides stable response time over a wide range of user requests. This indicates that the proposed approach is capable of ensuring scalability by verifying it from system's code.

show abstract

Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis

Cited by 28 publications

References 33 publications

Uncertainty, risk, and information value in software requirements and architecture

Uncertainty, risk, and information value in software requirements and architecture

Can icons enhance requirements engineering work?

A formal approach to verify software scalability requirements using set theory and Hoare triple

Contact Info

Product

Resources

About