The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - Jan. (2013 vol.39)
pp: 119-140
Leticia Duboc , State University of Rio de Janeiro, Rio de Janeiro
Emmanuel Letier , University College London, London
David S. Rosenblum , National University of Singapore, Singapore
ABSTRACT
Scalability is a critical concern for many software systems. Despite the recognized importance of considering scalability from the earliest stages of development, there is currently little support for reasoning about scalability at the requirements level. This paper presents a goal-oriented approach for eliciting, modeling, and reasoning about scalability requirements. The approach consists of systematically identifying scalability-related obstacles to the satisfaction of goals, assessing the likelihood and severity of these obstacles, and generating new goals to deal with them. The result is a consolidated set of requirements in which important scalability concerns are anticipated through the precise, quantified specification of scaling assumptions and scalability goals. The paper presents results from applying the approach to a complex, large-scale financial fraud detection system.
INDEX TERMS
Scalability, Software, Batch production systems, Educational institutions, Analytical models, Natural languages, scalability, Requirements/specifications, analysis, performance measures, quality analysis and evaluation, goal-oriented requirements engineering, KAOS
CITATION
Leticia Duboc, Emmanuel Letier, David S. Rosenblum, "Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis", IEEE Transactions on Software Engineering, vol.39, no. 1, pp. 119-140, Jan. 2013, doi:10.1109/TSE.2012.12
REFERENCES
[1] R.P. Gabriel, L. Northrop, D.C. Schmidt, and K. Sullivan, "Ultra-Large-Scale Systems," Proc. 21st ACM SIGPLAN Symp. Object-Oriented Programming Systems, Languages and Applications, pp. 632-634, 2006.
[2] D.S. Rosenblum and A.L. Wolf, "A Design Framework for Internet-Scale Even Observation and Notification," Proc. Sixth European Software Eng. Conf. Held Jointly with the Fifth ACM SIGSOFT Symp. Foundations of Software Eng., pp. 334-360, 1997.
[3] R. Bahsoon and W. Emmerich, "An Economics-Driven Approach for Valuing Scalability in Distributed Architectures," Proc. IEEE/IFIP Seventh Working Conf. Software Architecture, pp. 9-18, 2008.
[4] L. Duboc, D. Rosenblum, and T. Wicks, "A Framework for Characterization and Analysis of Software System Scalability," Proc. Sixth Joint Meeting of the European Software Eng. Conf. and the ACM SIGSOFT Symp. Foundations of Software Eng., pp. 375-384, 2007.
[5] L. Duboc, E. Letier, D. Rosenblum, and T. Wicks, "A Case Study in Eliciting Scalability Requirements," Proc. 16th IEEE Int'l Symp. Requirements Eng., 2008.
[6] Actuate Corporation, "Meeting Scalability Requirements for Enterprise Reporting Solutions," http://www.onixnet.com/ actuatescalability.pdf , July 2009.
[7] Microsoft TechNet Library, "Quantifying Availability and Scalability Requirements," July 2009.
[8] A. van Lamsweerde, Systematic Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons, 2008.
[9] E.S.K. Yu, "Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering," Proc. Third IEEE Int'l Symp. Requirements Eng., p. 226, 1997.
[10] M. Jackson, Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley, 2001.
[11] N.G. Leveson, Safeware: System Safety and Computer. Addison-Wesley, 1995.
[12] R.R. Lutz, "Software Engineering for Safety: A Roadmap," Proc. The Future of Software Eng., pp. 213-226, 2000.
[13] R.J. Anderson, Security Engineering: A Guide to Building Dependable Disributed Systems. Wiley, 2001.
[14] A. van Lamsweerde, "Elaborating Security Requirements by Construction of Intentional Anti-Models," Proc. 26nd Int'l Conf. Software Eng., pp. 148-157, 2004.
[15] C.B. Haley, R.C. Laney, J.D. Moffett, and B. Nuseibeh, "Security Requirements Engineering: A Framework for Representation and Analysis," IEEE Trans. Software Eng., vol. 34, no. 1, pp. 133-153, Jan./Feb. 2008.
[16] ISO 9126, "Software Product Evaluation: Quality Characteristics and Guidelines for Their Use," 1991.
[17] B.W. Boehm, J.R. Brown, and M. Lipow, "Quantitative Evaluation of Software Quality," Proc. Second Int'l Conf. Software Eng., pp. 592-605, 1976.
[18] L. Chung, B.A. Nixon, E. Yu, and J. Mylopoulos, Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, 2000.
[19] P. Kruchten, The Rational Unified Process: An Introduction. Addison-Wesley, 2003.
[20] A. van Lamsweerde and E. Letier, "Handling Obstacles in Goal-Oriented Requirements Engineering," IEEE Trans. Software Eng., vol. 26, no. 10, pp. 978-1005, Oct. 2000.
[21] E. Letier and A. van Lamsweerde, "Agent-Based Tactics for Goal-Oriented Requirements Elaboration," Proc. 24th Int'l Conf. Software Eng., pp. 83-93, 2002.
[22] R. Koymans, Specifying Message Passing and Time-Critical Systems with Temporal Logic. Springer-Verlag, 1992.
[23] E. Letier and A. van Lamsweerde, "Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering," Proc. 12th Int'l Symp. Foundations of Software Eng., pp. 53-62, 2004.
[24] C. Potts, "Using Schematic Scenarios to Understand User Needs," Proc. First Conf. Designing Interactive Systems, pp. 247-256, 1995.
[25] Y. Akao, Quality Function Deployment QFD: Integrating Customer Requirements into Product Design. Productivity Press, 1990.
[26] W.N. Robinson, "Negotiation Behavior during Requirements Specification," Proc. 12th Int'l Conf. Software Eng., pp. 268-276, 1990.
[27] J. Yen and W.A. Tiao, "A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements," Proc. IEEE Third Int'l Symp. Requirements Eng., p. 87, 1997.
[28] P. Giorgini, J. Mylopoulos, E. Nicchiarelli, and R. Sebastiani, "Reasoning with Goal Models," Proc. 21st Int'l Conf. Conceptual Modeling, pp. 167-181, 2002.
[29] M. Feather, S. Cornford, J. Dunphy, and K. Hicks, "A Quantitative Risk Model for Early Lifecycle Decision Making," Proc. Conf. Integrated Design and Process Technology, 2002.
[30] P. Zave and M. Jackson, "Four Dark Corners of Requirements Engineering," ACM Trans. Software Eng. and Methodology, vol. 6, no. 1, pp. 1-30, 1997.
[31] C.B. Weinstock and J.B. Goodenough, "On Systems Scalability," Software Eng. Inst., Technical Note CMU/SEI-2006-TN-012, Mar. 2006, http://www.sei.cmu.edu/publications/documents/ 06. reports06tn012.html, July 2008.
[32] E. Letier, "Reasoning about Agents in Goal-Oriented Requirements Engineering," PhD thesis, Université Catholique de Louvain, Dépt. Ingénierie Informatique, Louvain-la-Neuve, Belgium, 2001.
[33] L. Duboc, "A Framework for Characterization and Analysis of Software Systems Scalability," PhD thesis, Univ. College London, Dept. of Computer Science,, 2010.
[34] R. Darimont and A. van Lamsweerde, "Formal Refinement Patterns for Goal-Driven Requirements Elaboration," Proc. Fourth ACM SIGSOFT Symp. Foundations of Software Eng., pp. 179-190, 1996.
[35] N. Maiden and S. Robertson, "Integrating Creativity into Requirements Processes: Experiences with an Air Traffic Management System," Proc. 13th IEEE Int'l Conf. Requirements Eng., pp. 105-114, Aug. 2005.
[36] V. Chaudhary, M. Cha, J. Walters, S. Guercio, and S. Gallo, "A Comparison of Virtualization Technologies for HPC," Proc. 22nd Int'l Conf. Advanced Information Networking and Applications, pp. 861-868, Mar. 2008.
[37] J. Wiegert, G. Regnier, and J. Jackson, "Challenges for Scalable Networking in a Virtualized Server," Proc. 16th Int'l Conf. Computer Comm. and Networks, pp. 179-184, Aug. 2007.
[38] Z. Yanzhou, L. Chaoling, L. Lixin, and L. Wenjun, "Improving the Scalability of PrivacyCAs," Proc. Second Int'l Workshop CS and Eng., vol. 2, pp. 111-116, Oct. 2009.
[39] I. Foster, C. Kesselman, and S. Tuecke, "The Anatomy of the Grid: Enabling Scalable Virtual Organizations," Int'l J. High Performance and Computer Applications, vol. 15, no. 3, pp. 200-222, 2001.
[40] D. Linthicum, "The Case for the Hybrid Cloud," Infoworld Cloud Computing, Mar. 2010.
[41] R.M. Fano, "The MAC System: The Computer Utility Approach," IEEE Spectrum, vol. 2, no. 1, pp. 56-64, Jan. 1965.
[42] S. Masticola, A.B. Bondi, and M. Hettish, "Model-Based Scalability Estimation in Inception-Phase Software Architecture," Proc. Eighth Int'l Conf. Model Driven Eng. Languages and Systems, pp. 355-366, 2005.
[43] G. Brataas and P. Hughes, "Exploring Architectural Scalability," Proc. Fourth Int'l Workshop Software and Performance, pp. 125-129, 2004.
[44] E. Weyuker and A. Avritzer, "A Metric to Predict Software Scalability," Proc. IEEE Eighth Symp. Software Metrics, pp. 152-158, 2002.
[45] L.G. Williams and C.U. Smith, "QSEM: Quantitative Scalability Evaluation Method," Proc. Int'l Computer Measurement Group, pp. 341-352, 2005.
[46] C.U. Smith and L.G. Williams, Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley, Sept. 2001.
[47] M. van Steen, S. van der Zijden, and H.J. Sips, "Software Engineering for Scalable Distributed Applications," Proc. 22nd Int'l Computer Software and Applications Conf., pp. 285-293, 1998.
[48] P. Jogalekar and M. Woodside, "Evaluating the Scalability of Distributed Systems," IEEE Trans. Parallel and Distributed Systems, vol. 11, no. 6, pp. 589-603, June 2000.
[49] K.R. Popper, The Logic of Scientific Discovery. Routledge, 1959.
[50] S. Robertson and J. Robertson, Mastering the Requirements Process, second ed. Addison-Wesley, 2006.
[51] J.R. Ruthruff, S. Elbaum, and G. Rothermel, "Experimental Program Analysis: A New Program Analysis Paradigm," Proc. Int'l Symp. Software Testing and Analysis, pp. 49-60, 2006.
[52] R. Kazman, J. Asundi, and M. Klein, "Quantifying the Costs and Benefits of Architectural Decisions," Proc. 23rd Int'l Conf. Software Eng., pp. 297-306, 2001.
[53] W. Heaven and E. Letier, "Simulating and Optimizing Design Decisions in Quantitative Goal Models," Proc. 19th IEEE Requirements Eng. Conf., Sept. 2011.
[54] V. Nallur and R. Bahsoon, "Design of a Market-Based Mechanism for Quality Attribute Tradeoff of Services in the Cloud," Proc. ACM Symp. Applied Computing, pp. 367-371, 2010.
[55] S. Zardari and R. Bahsoon, "Cloud Adoption: A Goal-Oriented Requirements Engineering Approach," Proc. Second Int'l Workshop Software Eng. for Cloud Computing, pp. 29-35, 2011.
[56] T. Chen and R. Bahsoon, "Scalable Service Oriented Replication in the Cloud," Proc. IEEE Int'l Conf. Cloud Computing, pp. 766-767, July 2011.
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool