Abstract
Requirement evolution has drawn a lot of attention from the community with a major focus on management and consistency of requirements. Here, we tackle the fundamental, albeit less explored, alternative of modeling the future evolution of requirements.
Our approach is based on the explicit representation of controllable evolutions vs observable evolutions, which can only be estimated with a certain probability. Since classical interpretations of probability do not suit well the characteristics of software design, we introduce a game-theoretic approach to give an explanation to the semantic behind probabilities. Based on this approach we also introduce quantitative metrics to support the choice among evolution-resilient solutions for the system-to-be.
To illustrate and show the applicability of our work, we present and discuss examples taken from a concrete case study (the security of the SWIM system in Air Traffic Management).
This work is supported by the European Commission under project EU-FET-IP-SECURECHANGE.
Chapter PDF
Similar content being viewed by others
References
Anderson, C.: The long tail. Wired (October 2004)
Anton, A., Potts, C.: Functional paleontology: The evolution of user-visible system services. TSE 29(2), 151–166 (2003)
Brier, J., Rapanotti, L., Hall, J.: Problem-based analysis of organisational change: a real-world example. In: Proc. of IWAAPF 2006. ACM, New York (2006)
d’Avila Garcez, A., Russo, A., Nuseibeh, B., Kramer, J.: Combining abductive reasoning and inductive learning to evolve requirements specifications. IEEE Proceedings - Software 150(1), 25–38 (2003)
Elberse, A.: Should you invest in the long tail? Harvard Business Review (2008)
Fabbrini, F., Fusani, M., Gnesi, S., Lami, G.: Controlling requirements evolution: a formal concept analysis-based approach. In: ICSEA 2007 (2007)
FAA. System wide information management (SWIM) segment 2 technical review. Tech. report (2009)
Felici, M.: Observational Models of Requirements Evolution. PhD thesis (2004)
Ghose, A.: A formal basis for consistency, evolution and rationale management in requirements engineering. In: ICTAI 1999 (1999)
Ghose, A.: Formal tools for managing inconsistency and change in re. In: IWSSD 2000. IEEE Computer Society, Washington, DC, USA (2000)
Harker, S., Eason, K., Dobson, J.: The change and evolution of requirements as a challenge to the practice of software engineering. In: RE 2001 (1993)
Hassine, J., Rilling, J., Hewitt, J., Dssouli, R.: Change impact analysis for requirement evolution using use case maps. In: IWPSE 2005 (2005)
Jackson, M.: Problem Frames: Analysing & Structuring Software Development Problems. Addison-Wesley, Reading (2001)
Kemerer, C.F., Slaughter, S.: An empirical approach to studying software evolution. TSE 25(4), 493–509 (1999)
Lam, W., Loomes, M.: Requirements evolution in the midst of environmental change: a managed approach. In: CSMR 1998 (1998)
LaMantia, M., Cai, Y., MacCormack, A., Rusnak, J.: Analyzing the evolution of large-scale software systems using design structure matrices and design rule theory: Two exploratory cases. In: Proc. of WICSA 2008, pp. 83–92 (2008)
Lehman, M.: On understanding laws, evolution and conservation in the large program life cycle. J. of Sys. and Soft. 1(3), 213–221 (1980)
Lehman, M.: Programs, life cycles, and laws of software evolution. Proc. IEEE 68(9), 1060–1076 (1980)
Lin, L., Prowell, S., Poore, J.: The impact of requirements changes on specifications and state machines. SPE 39(6), 573–610 (2009)
Liu, L., Eric Yu, E.: Designing information systems in social context: A goal and scenario modelling approach. Info. Syst. 29, 187–203 (2003)
Lormans, M., van Dijk, H., van Deursen, A., Nocker, E., de Zeeuw, A.: Managing evolving requirements in an outsourcing context: an industrial experience report. In: IWPSE 2004, pp. 149–158 (2004)
Mens, T., Ramil, J., Godfrey, M.: Analyzing the evolution of large-scale software. J. of Soft. Maintenance and Evolution: Research and Practice 16(6), 363–365 (2004)
Program SWIM-SUIT. D1.5.1 Overall SWIM users requirements. Tech. report, 2008.
Project PROTEUS. Deliverable 1.3: Meeting the challenge of chainging requirements. Tech. report, Centre for Soft. Reliab., Univ. of Newcastle upon Tyne (1996)
Ravichandar, R., Arthur, J., Bohner, S., Tegarden, D.: Improving change tolerance through capabilities-based design: an empirical analysis. J. of Soft. Maintenance and Evolution: Research and Practice 20(2), 135–170 (2008)
Russo, A., Nuseibeh, B., Kramer, J.: Restructuring requirements specifications. IEEE Proceedings: Software 146, 44–53 (1999)
Shafer, G., Vovk, V., Chychyla, R.: How to base probability theory on perfect-information games. BEATCS 100, 115–148 (2010)
Soffer, P.: Scope analysis: identifying the impact of changes in business process models. J. of Soft. Process: Improvement and Practice 10(4), 393–402 (2005)
Stark, G., Oman, P., Skillicorn, A., Ameele, A.: An examination of the effects of requirements changes on software maintenance releases. J. of Soft. Maintenance: Research and Practice, 293–309 (1999)
Zave, P., Jackson, M.: Four dark corners of req. eng. TSEM 6(1), 1–30 (1997)
Zowghi, D., Offen, R.: A logical framework for modeling and reasoning about the evolution of requirements. In: ICRE 1997 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tran, L.M.S., Massacci, F. (2011). Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution. In: Mouratidis, H., Rolland, C. (eds) Advanced Information Systems Engineering. CAiSE 2011. Lecture Notes in Computer Science, vol 6741. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21640-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-21640-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21639-8
Online ISBN: 978-3-642-21640-4
eBook Packages: Computer ScienceComputer Science (R0)